Package org.tweetyproject.beliefdynamics

Class MultipleBaseRevisionOperator<T extends Formula>

java.lang.Object

org.tweetyproject.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 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	Description
MultipleBaseRevisionOperator()	Default

Method Summary

Modifier and Type	Method	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

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

Constructor Details

MultipleBaseRevisionOperator

public MultipleBaseRevisionOperator()

Default

Method Details

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