Package org.tweetyproject.lp.asp.beliefdynamics.baserevision

Class ELPBaseRevisionOperator

java.lang.Object

org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<ASPRule>

org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator

All Implemented Interfaces:

BaseRevisionOperator<ASPRule>

public class ELPBaseRevisionOperator
extends MultipleBaseRevisionOperator<ASPRule>

This class implements the base revision operator for extended logic programs as introduced in [KKI12]. The revision of a set of rules is defined as the screened maxi-choice consolidation of the union of the belief base and the new beliefs. [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
ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)	Constructs an ELPBaseRevisionOperator with the specified ASP solver and selection function.

Method Summary

Modifier and Type	Method	Description
Collection<ASPRule>	revise(Collection<ASPRule> base, Collection<ASPRule> formulas)	Revises the first collection of formulas by the second collection of formulas.

Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator

revise

Methods inherited from class java.lang.Object

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

Constructor Details

ELPBaseRevisionOperator

public ELPBaseRevisionOperator(ASPSolver solver,
 SelectionFunction<ASPRule> selection)

Constructs an ELPBaseRevisionOperator with the specified ASP solver and selection function.

Parameters:

solver - the ASPSolver to be used for solving logic programs

selection - the SelectionFunction used for selecting ASP rules for revision

Throws:

NullPointerException - if solver or selection is null

Method Details

revise

public Collection<ASPRule> revise(Collection<ASPRule> base,
 Collection<ASPRule> formulas)

Description copied from class: MultipleBaseRevisionOperator

Revises the first collection of formulas by the second collection of formulas.

Specified by:

revise in class MultipleBaseRevisionOperator<ASPRule>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.