public class AggregatingSemantics extends AbstractRpclSemantics
| Constructor and Description |
|---|
AggregatingSemantics() |
| Modifier and Type | Method and Description |
|---|---|
net.sf.tweety.math.equation.Statement |
getSatisfactionStatement(RelationalProbabilisticConditional r,
net.sf.tweety.logics.fol.syntax.FolSignature signature,
Map<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction
of the given conditional wrt.
|
boolean |
satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p,
RelationalProbabilisticConditional r)
Checks whether the given probability distribution satisfies the given
conditional wrt.
|
String |
toString() |
probabilityTerm, satisfiesGroundConditionalpublic boolean satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p,
RelationalProbabilisticConditional r)
RpclSemanticssatisfies in interface RpclSemanticssatisfies in class AbstractRpclSemanticsp - a probability distributionr - a relational probability conditional.public net.sf.tweety.math.equation.Statement getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.FloatVariable> worlds2vars)
RpclSemanticsgetSatisfactionStatement in interface RpclSemanticsgetSatisfactionStatement in class AbstractRpclSemanticsr - a relational probabilistic conditionalsignature - a fol signatureworlds2vars - a map mapping the interpretations of the fol to mathematical variables.public String toString()
toString in interface RpclSemanticstoString in class AbstractRpclSemanticsCopyright © 2018. All rights reserved.