net.sf.tweety.beliefdynamics

Class LeviBaseRevisionOperator<T extends net.sf.tweety.logics.commons.syntax.interfaces.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 net.sf.tweety.logics.commons.syntax.interfaces.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 Summary

Constructors

Constructor and Description
LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<T> expansion) Creates a new Levi base revision with the given contraction and expansion operators.

Method Summary

Modifier and Type	Method and Description
Collection<T>	revise(Collection<T> base, T formula) Revises the given collection of formulas by the given formula.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 Collection<T> revise(Collection<T> base,
                            T formula)

Description copied from interface: BaseRevisionOperator

Revises the given collection of formulas by the given formula.

Specified by:

revise in interface BaseRevisionOperator<T extends net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.