net.sf.tweety.beliefdynamics

Class LeviMultipleBaseRevisionOperator<T extends net.sf.tweety.logics.commons.syntax.interfaces.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 net.sf.tweety.logics.commons.syntax.interfaces.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 and Description
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<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, Collection<T> 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

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

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

Description copied from class: MultipleBaseRevisionOperator

Revises the first collection of formulas by the second collection of formulas.

Specified by:

revise in class MultipleBaseRevisionOperator<T extends net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.