public abstract class AbstractCredibilityComparer
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Order<Agent> |
credOrder
The credibility order used to guide the comparison.
|
private java.util.Collection<InformationObject<PropositionalFormula>> |
formulas
The information objects that hold the information which agents
uttered the formulas.
|
Constructor and Description |
---|
AbstractCredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> 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.
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
isAtLeastAsPreferredAs(java.util.Collection<? extends PropositionalFormula> col1,
java.util.Collection<? extends PropositionalFormula> col2)
Checks whether col1 is at least as preferred as col2 wrt.
|
protected boolean |
isAtLeastAsPreferredAs(PropositionalFormula f,
java.util.Collection<? extends PropositionalFormula> formulas)
Checks whether f is at least as preferred as some formula in "formulas"
|
protected boolean |
isAtLeastAsPreferredAs(PropositionalFormula f,
PropositionalFormula f2)
Checks whether f is at least as preferred as f2
|
private java.util.Collection<InformationObject<PropositionalFormula>> formulas
public AbstractCredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas, Order<Agent> credOrder)
formulas
- The information objects that hold the information which agents
uttered the formulas.credOrder
- The credibility order used to guide the comparison.protected boolean isAtLeastAsPreferredAs(java.util.Collection<? extends PropositionalFormula> col1, java.util.Collection<? extends PropositionalFormula> col2)
col1
- a set of formulascol2
- a set of formulasprotected boolean isAtLeastAsPreferredAs(PropositionalFormula f, java.util.Collection<? extends PropositionalFormula> formulas)
f
- some formulaformulas
- a set of formulasprotected boolean isAtLeastAsPreferredAs(PropositionalFormula f, PropositionalFormula f2)
f
- some formulaf2
- some formula