Class LeviBaseRevisionOperator<T extends ClassicalFormula>

java.lang.Object
org.tweetyproject.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 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 Details

    • 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 Details