net.sf.tweety.commons.postulates

Interface Postulate<S extends Formula>

Type Parameters:

S - The type of formulas this postulate is about.

All Known Implementing Classes:

AbstractImPostulate, ImFreeFormulaIndependence, ImMonotony

public interface Postulate<S extends Formula>

Models a general (rationality) postulate, i.e. a property that can be satisfied or violated by some approach. This class contains methods for checking whether an approach satisfies certain instances wrt. this postulate.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName() The textual name of the postulate
boolean	isApplicable(java.util.Collection<S> kb) Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
boolean	isSatisfied(java.util.Collection<S> kb, PostulateEvaluatable<S> ev) Checks whether this postulate is satisfied by the given approach ev wrt.

Method Detail

isApplicable

boolean isApplicable(java.util.Collection<S> kb)

Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).

Parameters:

kb - some knowledge base

Returns:

true if the knowledge base is a non trivial instance of this postulate.

isSatisfied

boolean isSatisfied(java.util.Collection<S> kb,
                    PostulateEvaluatable<S> ev)

Checks whether this postulate is satisfied by the given approach ev wrt. the given instance kb (note that evaluating an approach on a non-applicable instance always succeeds).

Parameters:

kb - some knowledge base

ev - some approach

Returns:

true if the postulate is satisfied on the instance

getName

java.lang.String getName()

The textual name of the postulate

Returns:

a string