Class MonotoneGlobalMaxichoiceSelectionFunction

  • All Implemented Interfaces:
    SelectionFunction<ASPRule>

    public class MonotoneGlobalMaxichoiceSelectionFunction
    extends java.lang.Object
    implements SelectionFunction<ASPRule>
    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
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<ASPRule> select​(RemainderSets<ASPRule> remainderSets)
      Select exactly one remainder set from the set of remainder sets.
      java.util.Collection<ASPRule> 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

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • MonotoneGlobalMaxichoiceSelectionFunction

        public MonotoneGlobalMaxichoiceSelectionFunction()
    • Method Detail

      • select

        public java.util.Collection<ASPRule> 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