Package net.sf.tweety.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