| CredibilityRevision<T extends Formula> |
Abstract base class for a revision process on belief bases of type TBeliefBase, it
provides a method to revise one belief base with another and a method
to revise a ordered list of belief bases.
|
| CredibilityRevisionIterative<T extends Formula> |
Implements the list based method of the Revision interface by iterative calling
the revision method which revise two belief bases.
|
| CredibilityRevisionNonIterative<T extends Formula> |
Implements the revision method with two belief bases by delegating the processing
to the revision method bases on an ordered list of belief bases.
|
| DefaultBaseExpansionOperator<T extends Formula> |
This class implements the default base expansion operator, ie.
|
| DefaultMultipleBaseExpansionOperator<T extends Formula> |
This class implements the default multiple base expansion operator, ie.
|
| LeviBaseRevisionOperator<T extends ClassicalFormula> |
This class implements the Levi identity for revision, ie.
|
| LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> |
This class implements the Levi identity for multiple revision, ie.
|
| MultipleBaseContractionOperator<T extends Formula> |
This is the interface for a classic multiple belief base contraction operator, ie.
|
| MultipleBaseExpansionOperator<T extends Formula> |
This is the interface for a classic multiple belief base expansion operator, ie.
|
| MultipleBaseRevisionOperator<T extends Formula> |
This is the interface for a classic multiple belief base revision operator, ie.
|