Class AbstractCredibilityComparer

java.lang.Object
org.tweetyproject.beliefdynamics.mas.AbstractCredibilityComparer
Direct Known Subclasses:
CredibilityCategorizer

public abstract class AbstractCredibilityComparer extends 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 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.