Package net.sf.tweety.beliefdynamics.mas

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

      Constructors 
      Constructor Description
      AbstractCredibilityComparer​(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PlFormula>> formulas, net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.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

      Modifier and Type Method Description
      protected boolean isAtLeastAsPreferredAs​(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> col1, Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> col2)
      Checks whether col1 is at least as preferred as col2 wrt.
      protected boolean isAtLeastAsPreferredAs​(net.sf.tweety.logics.pl.syntax.PlFormula f, Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> formulas)
      Checks whether f is at least as preferred as some formula in "formulas"
      protected boolean isAtLeastAsPreferredAs​(net.sf.tweety.logics.pl.syntax.PlFormula f, net.sf.tweety.logics.pl.syntax.PlFormula f2)
      Checks whether f is at least as preferred as f2

    • Constructor Detail

      • AbstractCredibilityComparer

        public AbstractCredibilityComparer​(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PlFormula>> formulas,
                                   net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.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.

    • Method Detail

      • isAtLeastAsPreferredAs

        protected boolean isAtLeastAsPreferredAs​(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> col1,
                                         Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> col2)
        Checks whether col1 is at least as preferred as col2 wrt. the credibility order.
        Parameters:
        col1 - a set of formulas
        col2 - a set of formulas
        Returns:
        "true" iff col1 is at least as preferred as cl2 wrt. the credibility order.

      • isAtLeastAsPreferredAs

        protected boolean isAtLeastAsPreferredAs​(net.sf.tweety.logics.pl.syntax.PlFormula f,
                                         Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> formulas)
        Checks whether f is at least as preferred as some formula in "formulas"
        Parameters:
        f - some formula
        formulas - a set of formulas
        Returns:
        "true" iff f is at least as preferred as each formula in "formulas"

      • isAtLeastAsPreferredAs

        protected boolean isAtLeastAsPreferredAs​(net.sf.tweety.logics.pl.syntax.PlFormula f,
                                         net.sf.tweety.logics.pl.syntax.PlFormula f2)
        Checks whether f is at least as preferred as f2
        Parameters:
        f - some formula
        f2 - some formula
        Returns:
        "true" iff f is at least as preferred as f2