Package net.sf.tweety.beliefdynamics.mas
Class AbstractCredibilityComparer
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
-
- Direct Known Subclasses:
CredibilityCategorizer
public abstract class AbstractCredibilityComparer extends java.lang.Object
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
Constructors Constructor Description AbstractCredibilityComparer(java.util.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.
-
-
-
Constructor Detail
-
AbstractCredibilityComparer
public AbstractCredibilityComparer(java.util.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.
-
-