public abstract class AbstractRpclSemantics extends java.lang.Object implements RpclSemantics
Constructor and Description |
---|
AbstractRpclSemantics() |
Modifier and Type | Method and Description |
---|---|
abstract 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.
|
protected Term |
probabilityTerm(FolFormula f,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given formula "f"
wrt.
|
abstract boolean |
satisfies(ProbabilityDistribution<?> p,
RelationalProbabilisticConditional r)
Checks whether the given probability distribution satisfies the given
conditional wrt.
|
protected boolean |
satisfiesGroundConditional(ProbabilityDistribution<?> p,
RelationalProbabilisticConditional groundConditional)
Checks whether the given ground conditional is satisfied by the given distribution
wrt.
|
abstract java.lang.String |
toString() |
public abstract boolean satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
RpclSemantics
satisfies
in interface RpclSemantics
p
- a probability distributionr
- a relational probability conditional.public abstract java.lang.String toString()
toString
in interface RpclSemantics
toString
in class java.lang.Object
public abstract Statement getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
RpclSemantics
getSatisfactionStatement
in interface RpclSemantics
r
- a relational probabilistic conditionalsignature
- a fol signatureworlds2vars
- a map mapping the interpretations of the fol to mathematical variables.protected boolean satisfiesGroundConditional(ProbabilityDistribution<?> p, RelationalProbabilisticConditional groundConditional)
p
- a probability distribution.groundConditional
- a ground conditionalprotected Term probabilityTerm(FolFormula f, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
f
- a fol formulaworlds2vars
- a map mapping reference worlds to variables.