Class AbstractCredibilityComparer
java.lang.Object
org.tweetyproject.beliefdynamics.mas.AbstractCredibilityComparer
- Direct Known Subclasses:
CredibilityCategorizer
This class provides for auxiliary functions used to compare
formulas and proofs of formulas wrt. the credibility of the
agents.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionAbstractCredibilityComparer
(Collection<InformationObject<PlFormula>> formulas, Order<Agent> credOrder) Creates a new credibility comparer that is guided by the giving information which agents uttered the formulas and the credibility order. -
Method Summary
-
Constructor Details
-
AbstractCredibilityComparer
public AbstractCredibilityComparer(Collection<InformationObject<PlFormula>> formulas, Order<Agent> credOrder) Creates a new credibility comparer that is guided by the giving information which agents uttered the formulas and the credibility order.- Parameters:
formulas
- The information objects that hold the information which agents uttered the formulas.credOrder
- The credibility order used to guide the comparison.
-