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