Class 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
    • Method Summary

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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.