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