Class ScreenedRemainderSets

All Implemented Interfaces:
Serializable, Cloneable, Iterable<Collection<ASPRule>>, Collection<Collection<ASPRule>>, Set<Collection<ASPRule>>

public class ScreenedRemainderSets extends RemainderSets<ASPRule>
This class represents the set of Screened Consistent Remainder Sets as defined in [1]. A screened remainder set X of P regarding a set of sentences R \subseteq P is a set X s.t. (1) R \subseteq X \subseteq P, (2) X is consistent and (3) there is no proper superset X' of X in P that is also consistent. [1] Kruempelmann, Patrick und Gabriele Kern-Isberner: Belief Base Change Operations for Answer Set Programming. In: Cerro, Luis Farinas, Andreas Herzig und Jerome Mengin (Herausgeber): Proceedings of the 13th European conference on Logics in Artificial Intelligence, Band 7519, Seiten 294-306, Toulouse, France, 2012. Springer Berlin Heidelberg.
Author:
Sebastian Homann
See Also:
Serialized Form
  • Constructor Details

    • ScreenedRemainderSets

      public ScreenedRemainderSets(Program p, Program r, ASPSolver solver)
      Creates a new set of screened remainder sets of program p that all contain the screened rules r. An asp-solver is used to calculate the consistency of remainder set candidates.
      Parameters:
      p - an asp-program for which the screened remainder sets are calculated
      r - an asp-program representing the set of rules, that have to be contained in every remainder set. Has to be a subset of p
      solver - an asp-solver
  • Method Details

    • getSourceBeliefBase

      public Program getSourceBeliefBase()
      Returns the original program p for which this set represents the set of remainder sets.
      Specified by:
      getSourceBeliefBase in class RemainderSets<ASPRule>
      Returns:
      an elp program.
    • getScreen

      public Program getScreen()
      Returns the screened rules that are contained in every remainder set.
      Returns:
      an elp program.
    • asPrograms

      public Collection<Program> asPrograms()
      Returns this set of remainder sets as a collection of programs where each program contains exactly the rules of one remainder set.
      Returns:
      a collection of programs.
    • main

      public static void main(String[] args) throws ParseException
      Simple test case taken from [1]
      Parameters:
      args - some arguments
      Throws:
      ParseException - if parsing failed