net.sf.tweety.beliefdynamics

Class MultipleBaseRevisionOperator<T extends Formula>

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<T>

Type Parameters:

T - The type of formulas that this operator works on.

All Implemented Interfaces:

BaseRevisionOperator<T>

Direct Known Subclasses:

ArgumentativeRevisionOperator, CredibilityRevision, CrMasArgumentativeRevisionOperator, CrMasRevisionWrapper, CrMasSimpleRevisionOperator, ELPBaseRevisionOperator, LeviMultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator, ParameterisedArgumentativeSelectiveRevisionOperator

public abstract class MultipleBaseRevisionOperator<T extends Formula>
extends java.lang.Object
implements BaseRevisionOperator<T>

This is the interface for a classic multiple belief base revision operator, ie. an operator that takes some set of formulas and another set of formulas and revises the former by the latter.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
MultipleBaseRevisionOperator()

Method Summary

Modifier and Type	Method and Description
abstract java.util.Collection<T>	revise(java.util.Collection<T> base, java.util.Collection<T> formulas) Revises the first collection of formulas by the second collection of formulas.
java.util.Collection<T>	revise(java.util.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

MultipleBaseRevisionOperator

public MultipleBaseRevisionOperator()

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 interface BaseRevisionOperator<T extends Formula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.

revise

public abstract java.util.Collection<T> revise(java.util.Collection<T> base,
                                               java.util.Collection<T> formulas)

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

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.