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
net.sf.tweety.math.equation.Statement	getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
boolean	satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p, RelationalProbabilisticConditional r) Checks whether the given probability distribution satisfies the given conditional wrt.
String	toString()

Method Detail

satisfies

boolean satisfies(net.sf.tweety.logics.pcl.semantics.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

net.sf.tweety.math.equation.Statement getSatisfactionStatement(RelationalProbabilisticConditional r,
                                                               net.sf.tweety.logics.fol.syntax.FolSignature signature,
                                                               Map<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.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

String toString()

Overrides:

toString in class Object