Package net.sf.tweety.beliefdynamics

Interface Summary

Interface	Description
BaseContractionOperator<T extends net.sf.tweety.commons.Formula>	This is the interface for a classic belief base contraction operator, ie.
BaseExpansionOperator<T extends net.sf.tweety.commons.Formula>	This is the interface for a classic belief base expansion operator, ie.
BaseRevisionOperator<T extends net.sf.tweety.commons.Formula>	This is the interface for a classic belief base revision operator, ie.

Class Summary

Class	Description
CredibilityRevision<T extends net.sf.tweety.commons.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 net.sf.tweety.commons.Formula>	Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases.
CredibilityRevisionNonIterative<T extends net.sf.tweety.commons.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 net.sf.tweety.commons.Formula>	This class implements the default base expansion operator, ie.
DefaultMultipleBaseExpansionOperator<T extends net.sf.tweety.commons.Formula>	This class implements the default multiple base expansion operator, ie.
LeviBaseRevisionOperator<T extends net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula>	This class implements the Levi identity for revision, ie.
LeviMultipleBaseRevisionOperator<T extends net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula>	This class implements the Levi identity for multiple revision, ie.
MultipleBaseContractionOperator<T extends net.sf.tweety.commons.Formula>	This is the interface for a classic multiple belief base contraction operator, ie.
MultipleBaseExpansionOperator<T extends net.sf.tweety.commons.Formula>	This is the interface for a classic multiple belief base expansion operator, ie.
MultipleBaseRevisionOperator<T extends net.sf.tweety.commons.Formula>	This is the interface for a classic multiple belief base revision operator, ie.