net.sf.tweety.beliefdynamics.mas

Class AbstractCredibilityComparer

java.lang.Object

net.sf.tweety.beliefdynamics.mas.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 and Description
AbstractCredibilityComparer(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> 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 and Description
protected boolean	isAtLeastAsPreferredAs(Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> col1, Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> col2) Checks whether col1 is at least as preferred as col2 wrt.
protected boolean	isAtLeastAsPreferredAs(net.sf.tweety.logics.pl.syntax.PropositionalFormula f, Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> formulas) Checks whether f is at least as preferred as some formula in "formulas"
protected boolean	isAtLeastAsPreferredAs(net.sf.tweety.logics.pl.syntax.PropositionalFormula f, net.sf.tweety.logics.pl.syntax.PropositionalFormula 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

Constructor Detail

AbstractCredibilityComparer

public AbstractCredibilityComparer(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> 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.PropositionalFormula> col1,
                                         Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> 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.PropositionalFormula f,
                                         Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> 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.PropositionalFormula f,
                                         net.sf.tweety.logics.pl.syntax.PropositionalFormula 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