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

Class MonotoneGlobalMaxichoiceSelectionFunction

java.lang.Object

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

All Implemented Interfaces:

SelectionFunction<net.sf.tweety.lp.asp.syntax.Rule>

public class MonotoneGlobalMaxichoiceSelectionFunction
extends Object
implements SelectionFunction<net.sf.tweety.lp.asp.syntax.Rule>

This class implements a monotone global maxichoise selection function for remainder sets of extended logic programs as introduced in [KKI12]. [KKI12] 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

Constructor Summary

Constructors

Constructor and Description
MonotoneGlobalMaxichoiceSelectionFunction()

Method Summary

Modifier and Type	Method and Description
Collection<net.sf.tweety.lp.asp.syntax.Rule>	select(RemainderSets<net.sf.tweety.lp.asp.syntax.Rule> remainderSets) Select exactly one remainder set from the set of remainder sets.
Collection<net.sf.tweety.lp.asp.syntax.Rule>	select(ScreenedRemainderSets remainderSets) Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MonotoneGlobalMaxichoiceSelectionFunction

public MonotoneGlobalMaxichoiceSelectionFunction()

Method Detail

select

public Collection<net.sf.tweety.lp.asp.syntax.Rule> select(ScreenedRemainderSets remainderSets)

Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs. This entails the monotony-property for this selection function.

Parameters:

remainderSets - set of all remainder sets

Returns:

a single remainder set or P, if there is no remainder set of P with screen R

select

public Collection<net.sf.tweety.lp.asp.syntax.Rule> select(RemainderSets<net.sf.tweety.lp.asp.syntax.Rule> remainderSets)

Description copied from interface: SelectionFunction

Select exactly one remainder set from the set of remainder sets.

Specified by:

select in interface SelectionFunction<net.sf.tweety.lp.asp.syntax.Rule>

Parameters:

remainderSets - a set of remainder sets

Returns:

one remainder set.