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

Class ELPBaseRevisionOperator

  • All Implemented Interfaces:
    net.sf.tweety.beliefdynamics.BaseRevisionOperator<net.sf.tweety.lp.asp.syntax.ASPRule>
    public class ELPBaseRevisionOperator
extends net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<net.sf.tweety.lp.asp.syntax.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 Detail

      • ELPBaseRevisionOperator

        public ELPBaseRevisionOperator​(net.sf.tweety.lp.asp.reasoner.ASPSolver solver,
                               SelectionFunction<net.sf.tweety.lp.asp.syntax.ASPRule> selection)

    • Method Detail

      • revise

        public Collection<net.sf.tweety.lp.asp.syntax.ASPRule> revise​(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> base,
                                                              Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)
        Specified by:
        revise in class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<net.sf.tweety.lp.asp.syntax.ASPRule>