Package org.tweetyproject.beliefdynamics.mas

Class Summary

Class	Description
AbstractCredibilityComparer	This class provides for auxiliary functions used to compare formulas and proofs of formulas wrt.
CredibilityCategorizer	This class implements a credibility-based categorizer that works like the classical categorizer but dismisses arguments where the least credible agent which uttered a formula in that argument is not as least as credible as the least credible agent which uttered a formula of the parent argument.
CrMasBeliefSet<T extends Formula,S extends Signature>	This class represents belief sets for credibility-based agents multi-agent systems.
CrMasRevisionWrapper<T extends Formula>	This class is a wrapper for a revision for formulas of type T that is used to revise information objects.
InformationObject<T extends Formula>	This class represents a formula annotated with the source of the formula.