Package org.tweetyproject.beliefdynamics

Interface BaseRevisionOperator<T extends Formula>

Type Parameters:
T - The type of formulas that this operator works on.
All Known Implementing Classes:
ArgumentativeRevisionOperator, CredibilityRevision, CredibilityRevision, CredibilityRevisionIterative, CredibilityRevisionNonIterative, CrMasArgumentativeRevisionOperator, CrMasRevisionWrapper, CrMasSimpleRevisionOperator, ELPBaseRevisionOperator, LeviBaseRevisionOperator, LeviMultipleBaseRevisionOperator, MultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator, ParameterisedArgumentativeSelectiveRevisionOperator, PreferenceHandling, SelectiveRevisionOperator
public interface BaseRevisionOperator<T extends Formula>
This is the interface for a classic belief base revision operator, ie. an operator that takes some set of formulas and a single formula and revises the former by the latter.
Author:
Matthias Thimm