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 TypeMethodDescriptiongetSatisfactionStatement
(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.boolean
Checks whether the given probability distribution satisfies the given conditional wrt.toString()
-
Method Details
-
satisfies
Checks whether the given probability distribution satisfies the given conditional wrt. this semantics.- Parameters:
p
- a probability distributionr
- a relational probability conditional.- Returns:
- "true" iff the given distribution satisfies the given conditional.
-
getSatisfactionStatement
Statement getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, 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 conditionalsignature
- a fol signatureworlds2vars
- 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()
-