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

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.

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

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