Package net.sf.tweety.beliefdynamics.mas
Class AbstractCredibilityComparer
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
-
- Direct Known Subclasses:
CredibilityCategorizer
,CrMasSimpleRevisionOperator.CredibilityComparer
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.
-
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
-
-
-
Field Detail
-
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 formulascol2
- 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 formulaformulas
- a set of formulas- Returns:
- "true" iff f is at least as preferred as each formula in "formulas"
-
-