MonotoneGlobalMaxichoiceSelectionFunction

java.lang.Object
- net.sf.tweety.lp.asp.beliefdynamics.baserevision.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

Constructor Summary

Constructors
Constructor Description

MonotoneGlobalMaxichoiceSelectionFunction()

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
  - select
```
public java.util.Collection<ASPRule> select(RemainderSets<ASPRule> remainderSets)
```
    Description copied from interface: SelectionFunction
    
    Select exactly one remainder set from the set of remainder sets.
    
    Specified by:
    
    select in interface SelectionFunction<ASPRule>
    
    Parameters:
    
    remainderSets - a set of remainder sets
    
    Returns:
    
    one remainder set.