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
`Statement` ```getSatisfactionStatement​(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,​FolFormula>,​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.
`java.lang.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

```Statement getSatisfactionStatement​(RelationalProbabilisticConditional r,
FolSignature signature,
java.util.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 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`