public class ScreenedMaxichoiceConsolidation extends Object implements ConsolidationOperator<net.sf.tweety.lp.asp.syntax.Rule>
| Constructor and Description |
|---|
ScreenedMaxichoiceConsolidation(net.sf.tweety.lp.asp.syntax.Program screen,
SelectionFunction<net.sf.tweety.lp.asp.syntax.Rule> selection,
net.sf.tweety.lp.asp.solver.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 |
|---|---|
Collection<net.sf.tweety.lp.asp.syntax.Rule> |
consolidate(Collection<net.sf.tweety.lp.asp.syntax.Rule> p)
Returns a consolidation of set p, i.e.
|
net.sf.tweety.lp.asp.syntax.Program |
consolidate(net.sf.tweety.lp.asp.syntax.Program p)
Calculates the screened consolidation !r of program p using a maxi-choice selection
function s, i.e.
|
public ScreenedMaxichoiceConsolidation(net.sf.tweety.lp.asp.syntax.Program screen,
SelectionFunction<net.sf.tweety.lp.asp.syntax.Rule> selection,
net.sf.tweety.lp.asp.solver.Solver solver)
screen - the screen to be retained in this consolidation operationselection - a selection functionsolver - an asp-solverpublic net.sf.tweety.lp.asp.syntax.Program consolidate(net.sf.tweety.lp.asp.syntax.Program p)
throws net.sf.tweety.lp.asp.solver.SolverException
p - a programnet.sf.tweety.lp.asp.solver.SolverExceptionpublic Collection<net.sf.tweety.lp.asp.syntax.Rule> consolidate(Collection<net.sf.tweety.lp.asp.syntax.Rule> p)
ConsolidationOperatorconsolidate in interface ConsolidationOperator<net.sf.tweety.lp.asp.syntax.Rule>p - a belief baseCopyright © 2018. All rights reserved.