net.sf.tweety.logics.rpcl.semantics

Interface RpclSemantics

All Known Implementing Classes:

AbstractRpclSemantics, AggregatingSemantics, AveragingSemantics

public interface RpclSemantics

This interface describes semantics for relational probabilistic logic.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
Statement	getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
boolean	satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r) Checks whether the given probability distribution satisfies the given conditional wrt.
java.lang.String	toString()

Method Detail

satisfies

boolean satisfies(ProbabilityDistribution<?> p,
                  RelationalProbabilisticConditional r)

Checks whether the given probability distribution satisfies the given conditional wrt. this semantics.

Parameters:

p - a probability distribution

r - a relational probability conditional.

Returns:

"true" iff the given distribution satisfies the given conditional.

getSatisfactionStatement

Statement getSatisfactionStatement(RelationalProbabilisticConditional r,
                                   FolSignature signature,
                                   java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)

Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.

Parameters:

r - a relational probabilistic conditional

signature - a fol signature

worlds2vars - a map mapping the interpretations of the fol to mathematical variables.

Returns:

the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object