Package net.sf.tweety.beliefdynamics
Class LeviMultipleBaseRevisionOperator<T extends ClassicalFormula>
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<T>
-
- net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator<T>
-
- Type Parameters:
T
- the type of formulas this operators works on.
- All Implemented Interfaces:
BaseRevisionOperator<T>
public class LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> extends MultipleBaseRevisionOperator<T>
This class implements the Levi identity for multiple revision, ie. an revision that is composed of the contraction with the negated set of formulas and then expansion with those formulas.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
-
Method Summary
-
Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
revise
-
-
-
-
Constructor Detail
-
LeviMultipleBaseRevisionOperator
public LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.- Parameters:
contraction
- some contraction operator.expansion
- some expansion operator.
-
-
Method Detail
-
revise
public java.util.Collection<T> revise(java.util.Collection<T> base, java.util.Collection<T> formulas)
Description copied from class:MultipleBaseRevisionOperator
Revises the first collection of formulas by the second collection of formulas.- Specified by:
revise
in classMultipleBaseRevisionOperator<T extends ClassicalFormula>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the revised collection.
-
-