Package net.sf.tweety.beliefdynamics
Class LeviBaseRevisionOperator<T extends ClassicalFormula>
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator<T>
-
- Type Parameters:
T
- the type of formulas this operators works on.
- All Implemented Interfaces:
BaseRevisionOperator<T>
public class LeviBaseRevisionOperator<T extends ClassicalFormula> extends java.lang.Object implements BaseRevisionOperator<T>
This class implements the Levi identity for revision, ie. an revision that is composed of the contraction with the negated formula and then expansion of the formula.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
-
-
-
Constructor Detail
-
LeviBaseRevisionOperator
public LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<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, T formula)
Description copied from interface:BaseRevisionOperator
Revises the given collection of formulas by the given formula.- Specified by:
revise
in interfaceBaseRevisionOperator<T extends ClassicalFormula>
- Parameters:
base
- some collection of formulas.formula
- a formula- Returns:
- the revised collection.
-
-