public class AveragingSemantics extends AbstractRpclSemantics
Constructor and Description |
---|
AveragingSemantics() |
Modifier and Type | Method and Description |
---|---|
Statement |
getSatisfactionStatement(RelationalProbabilisticConditional r,
FolSignature signature,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction
of the given conditional wrt.
|
boolean |
satisfies(ProbabilityDistribution<?> p,
RelationalProbabilisticConditional r)
Checks whether the given probability distribution satisfies the given
conditional wrt.
|
java.lang.String |
toString() |
probabilityTerm, satisfiesGroundConditional
public boolean satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
RpclSemantics
satisfies
in interface RpclSemantics
satisfies
in class AbstractRpclSemantics
p
- a probability distributionr
- a relational probability conditional.public Statement getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
RpclSemantics
getSatisfactionStatement
in interface RpclSemantics
getSatisfactionStatement
in class AbstractRpclSemantics
r
- a relational probabilistic conditionalsignature
- a fol signatureworlds2vars
- a map mapping the interpretations of the fol to mathematical variables.public java.lang.String toString()
toString
in interface RpclSemantics
toString
in class AbstractRpclSemantics