public class ScreenedMaxichoiceConsolidation extends java.lang.Object implements ConsolidationOperator<Rule>
Modifier and Type | Field and Description |
---|---|
private Program |
screen |
private SelectionFunction<Rule> |
selection |
private Solver |
solver |
Constructor and Description |
---|
ScreenedMaxichoiceConsolidation(Program screen,
SelectionFunction<Rule> selection,
Solver solver)
Creates a new screened maxi-choice consolidation operator with the given screen,
selection function and a link to an answer set solver.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
consolidate(java.util.Collection<Rule> 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.
|
private Program screen
private SelectionFunction<Rule> selection
private Solver solver
public ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<Rule> selection, Solver solver)
screen
- the screen to be retained in this consolidation operationselection
- a selection functionsolver
- an asp-solverpublic Program consolidate(Program p) throws SolverException
p
- a programSolverException
public java.util.Collection<Rule> consolidate(java.util.Collection<Rule> p)
ConsolidationOperator
consolidate
in interface ConsolidationOperator<Rule>
p
- a belief base