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

Method Detail

satisfies

boolean satisfies(RpclProbabilityDistribution<?> 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<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,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