ScreenedMaxichoiceConsolidation

java.lang.Object
- net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation

All Implemented Interfaces:

ConsolidationOperator<ASPRule>
```
public class ScreenedMaxichoiceConsolidation
extends java.lang.Object
implements ConsolidationOperator<ASPRule>
```
This class implements the screened maxi-choice consolidation operator from [1]. [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

Constructor Summary

Constructors
Constructor	Description
`ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<ASPRule> selection, ASPSolver solver)`	Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<ASPRule>`	`consolidate(java.util.Collection<ASPRule> p)`	Returns a consolidation of set p, i.e.
`Program`	`consolidate(Program p)`	Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ScreenedMaxichoiceConsolidation
```
public ScreenedMaxichoiceConsolidation(Program screen,
                                       SelectionFunction<ASPRule> selection,
                                       ASPSolver solver)
```
    Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.
    
    Parameters:
    
    screen - the screen to be retained in this consolidation operation
    
    selection - a selection function
    
    solver - an asp-solver
- Method Detail
  - consolidate
```
public Program consolidate(Program p)
```
    Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e. p!r = s(p \bot r) where p \bot r is the set of remainder sets of p with screen r.
    
    Parameters:
    
    p - a program
    
    Returns:
    
    consolidation of program p
  - consolidate
```
public java.util.Collection<ASPRule> consolidate(java.util.Collection<ASPRule> p)
```
    Description copied from interface: ConsolidationOperator
    
    Returns a consolidation of set p, i.e. a consistent subset of p.
    
    Specified by:
    
    consolidate in interface ConsolidationOperator<ASPRule>
    
    Parameters:
    
    p - a belief base
    
    Returns:
    
    the consolidated belief base