net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class ScreenedMaxichoiceConsolidation

java.lang.Object

net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation

All Implemented Interfaces:

ConsolidationOperator<net.sf.tweety.lp.asp.syntax.Rule>

public class ScreenedMaxichoiceConsolidation
extends Object
implements ConsolidationOperator<net.sf.tweety.lp.asp.syntax.Rule>

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 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.

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ScreenedMaxichoiceConsolidation

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)

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 net.sf.tweety.lp.asp.syntax.Program consolidate(net.sf.tweety.lp.asp.syntax.Program p)
                                                throws net.sf.tweety.lp.asp.solver.SolverException

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

Throws:

net.sf.tweety.lp.asp.solver.SolverException

consolidate

public Collection<net.sf.tweety.lp.asp.syntax.Rule> consolidate(Collection<net.sf.tweety.lp.asp.syntax.Rule> 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<net.sf.tweety.lp.asp.syntax.Rule>

Parameters:

p - a belief base

Returns:

the consolidated belief base