net.sf.tweety.beliefdynamics

Class MultipleBaseRevisionOperator<T extends net.sf.tweety.commons.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, LeviMultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator

public abstract class MultipleBaseRevisionOperator<T extends net.sf.tweety.commons.Formula>
extends 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 Collection<T>	revise(Collection<T> base, Collection<T> formulas) Revises the first collection of formulas by the second collection of formulas.
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

MultipleBaseRevisionOperator

public MultipleBaseRevisionOperator()

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.commons.Formula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.

revise

public abstract Collection<T> revise(Collection<T> base,
                                     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.