Package org.tweetyproject.beliefdynamics
package org.tweetyproject.beliefdynamics
-
ClassDescriptionBaseContractionOperator<T extends Formula>This is the interface for a classic belief base contraction operator, ie.BaseExpansionOperator<T extends Formula>This is the interface for a classic belief base expansion operator, ie.BaseRevisionOperator<T extends Formula>This is the interface for a classic belief base revision operator, ie.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.