net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class ScreenedRemainderSets

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<Collection<T>>

net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets<net.sf.tweety.lp.asp.syntax.Rule>

net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Collection<net.sf.tweety.lp.asp.syntax.Rule>>, Collection<Collection<net.sf.tweety.lp.asp.syntax.Rule>>, Set<Collection<net.sf.tweety.lp.asp.syntax.Rule>>

public class ScreenedRemainderSets
extends RemainderSets<net.sf.tweety.lp.asp.syntax.Rule>

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 Summary

Constructors

Constructor and Description
ScreenedRemainderSets(net.sf.tweety.lp.asp.syntax.Program p, net.sf.tweety.lp.asp.syntax.Program r, net.sf.tweety.lp.asp.solver.Solver solver) Creates a new set of screened remainder sets of program p that all contain the screened rules r.

Method Summary

Modifier and Type	Method and Description
Collection<net.sf.tweety.lp.asp.syntax.Program>	asPrograms() Returns this set of remainder sets as a collection of programs where each program contains exactly the rules of one remainder set.
net.sf.tweety.lp.asp.syntax.Program	getScreen() Returns the screened rules that are contained in every remainder set.
net.sf.tweety.lp.asp.syntax.Program	getSourceBeliefBase() Returns the original program p for which this set represents the set of remainder sets.
static void	main(String[] args) Simple test case taken from [1]

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

ScreenedRemainderSets

public ScreenedRemainderSets(net.sf.tweety.lp.asp.syntax.Program p,
                             net.sf.tweety.lp.asp.syntax.Program r,
                             net.sf.tweety.lp.asp.solver.Solver solver)
                      throws net.sf.tweety.lp.asp.solver.SolverException

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

Throws:

net.sf.tweety.lp.asp.solver.SolverException

Method Detail

getSourceBeliefBase

public net.sf.tweety.lp.asp.syntax.Program getSourceBeliefBase()

Returns the original program p for which this set represents the set of remainder sets.

Specified by:

getSourceBeliefBase in class RemainderSets<net.sf.tweety.lp.asp.syntax.Rule>

Returns:

an elp program.

getScreen

public net.sf.tweety.lp.asp.syntax.Program getScreen()

Returns the screened rules that are contained in every remainder set.

Returns:

an elp program.

asPrograms

public Collection<net.sf.tweety.lp.asp.syntax.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 net.sf.tweety.lp.asp.parser.ParseException,
                        net.sf.tweety.lp.asp.solver.SolverException

Simple test case taken from [1]

Parameters:

args -

Throws:

net.sf.tweety.lp.asp.parser.ParseException

net.sf.tweety.lp.asp.solver.SolverException