- All Implemented Interfaces:
- BaseRevisionOperator<Rule>
public class ELPBaseRevisionOperator
extends MultipleBaseRevisionOperator<Rule>
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