ELPBaseRevisionOperator

java.lang.Object
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<ASPRule>
- - net.sf.tweety.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)

Method Summary

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

Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
revise

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ELPBaseRevisionOperator
```
public ELPBaseRevisionOperator(ASPSolver solver,
                               SelectionFunction<ASPRule> selection)
```
- Method Detail
  - revise
```
public java.util.Collection<ASPRule> revise(java.util.Collection<ASPRule> base,
                                            java.util.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.