net.sf.tweety.commons.postulates

Class PostulateEvaluator<S extends Formula,T extends BeliefSet<S>>

java.lang.Object

net.sf.tweety.commons.postulates.PostulateEvaluator<S,T>

Type Parameters:

S - The type of formulas used in the evaluation.

T - The type of belief bases used in the evaluation.

public class PostulateEvaluator<S extends Formula,T extends BeliefSet<S>>
extends java.lang.Object

Evaluates some approach (reasoner, measure, etc.) wrt. a series of rationality postulates on a given series of knowledge bases.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private PostulateEvaluatable<S>	ev The approach being evaluated.
private BeliefSetIterator<S,T>	iterator The belief base sampler used to test the rationality postulates
private java.util.List<Postulate<S>>	postulates the list of postulates the approach is evaluated against

Constructor Summary

Constructors

Constructor and Description
PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev) Creates a new evaluator for the given evaluatable and belief base generator.
PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev, java.util.Collection<Postulate<S>> postulates) Creates a new evaluator for the given evaluatable and belief base generator.

Method Summary

Modifier and Type	Method and Description
void	addPostulate(Postulate<S> p) Adds the given postulate
PostulateEvaluationReport<S>	evaluate(long num) Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.
PostulateEvaluationReport<S>	evaluate(long num, boolean stopWhenFailed) Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.
boolean	removePostulate(Postulate<S> p) Removes the given postulate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

iterator

private BeliefSetIterator<S extends Formula,T extends BeliefSet<S>> iterator

The belief base sampler used to test the rationality postulates

ev

private PostulateEvaluatable<S extends Formula> ev

The approach being evaluated.

postulates

private java.util.List<Postulate<S extends Formula>> postulates

the list of postulates the approach is evaluated against

Constructor Detail

PostulateEvaluator

public PostulateEvaluator(BeliefSetIterator<S,T> iterator,
                          PostulateEvaluatable<S> ev,
                          java.util.Collection<Postulate<S>> postulates)

Creates a new evaluator for the given evaluatable and belief base generator.

Parameters:

iterator - some belief set iterator

ev - some evaluatable

postulates - a set of postulates

PostulateEvaluator

public PostulateEvaluator(BeliefSetIterator<S,T> iterator,
                          PostulateEvaluatable<S> ev)

Creates a new evaluator for the given evaluatable and belief base generator.

Parameters:

iterator - some belief set iterator

ev - some evaluatable

Method Detail

addPostulate

public void addPostulate(Postulate<S> p)

Adds the given postulate

Parameters:

p - some postulate

removePostulate

public boolean removePostulate(Postulate<S> p)

Removes the given postulate

Parameters:

p - some postulate

Returns:

true if this contained the specified postulate.

evaluate

public PostulateEvaluationReport<S> evaluate(long num,
                                             boolean stopWhenFailed)

Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.

Parameters:

num - the number of belief bases to be applied.

stopWhenFailed - if true the evaluation of one postulate will be stopped once a violation has been encountered.

Returns:

a report on the evaluation

evaluate

public PostulateEvaluationReport<S> evaluate(long num)

Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator. The evaluation of any one postulate will be stopped once a violation has been encountered.

Parameters:

num - the number of belief bases to be applied.

Returns:

a report on the evaluation