Class AbstractCredibilityComparer

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private Order<Agent> credOrder
      The credibility order used to guide the comparison.
      private java.util.Collection<InformationObject<PlFormula>> formulas
      The information objects that hold the information which agents uttered the formulas.
    • Method Summary

      Modifier and Type Method Description
      protected boolean isAtLeastAsPreferredAs​(java.util.Collection<? extends PlFormula> col1, java.util.Collection<? extends PlFormula> col2)
      Checks whether col1 is at least as preferred as col2 wrt.
      protected boolean isAtLeastAsPreferredAs​(PlFormula f, java.util.Collection<? extends PlFormula> formulas)
      Checks whether f is at least as preferred as some formula in "formulas"
      protected boolean isAtLeastAsPreferredAs​(PlFormula f, PlFormula f2)
      Checks whether f is at least as preferred as f2
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • credOrder

        private Order<Agent> credOrder
        The credibility order used to guide the comparison.
      • formulas

        private java.util.Collection<InformationObject<PlFormula>> formulas
        The information objects that hold the information which agents uttered the formulas.
    • 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.
    • Method Detail

      • isAtLeastAsPreferredAs

        protected boolean isAtLeastAsPreferredAs​(java.util.Collection<? extends PlFormula> col1,
                                                 java.util.Collection<? extends 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​(PlFormula f,
                                                 java.util.Collection<? extends 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​(PlFormula f,
                                                 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