Uses of Class
org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
Package
Description
-
Uses of RelationalProbabilisticConditional in org.tweetyproject.logics.rpcl.parser
-
Uses of RelationalProbabilisticConditional in org.tweetyproject.logics.rpcl.semantics
Modifier and TypeMethodDescriptionabstract Statement
AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.abstract boolean
AbstractRpclSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean
AggregatingSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean
AveragingSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean
CondensedProbabilityDistribution.satisfies(RelationalProbabilisticConditional formula)
boolean
RpclProbabilityDistribution.satisfies(RelationalProbabilisticConditional formula)
boolean
RpclSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
Checks whether the given probability distribution satisfies the given conditional wrt. -
Uses of RelationalProbabilisticConditional in org.tweetyproject.logics.rpcl.syntax
ModifierConstructorDescriptionRpclBeliefSet(Collection<? extends RelationalProbabilisticConditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals.