Uses of Class
org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
Package
Description
-
Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.analysis
Modifier and TypeMethodDescriptionMeanDistanceCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
DistanceMinimizationInconsistencyMeasure.getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)
Returns the deviation of the given conditional in the nearest consistent belief set.boolean
PclDefaultConsistencyTester.isConsistent(ProbabilisticConditional formula)
MeanDistanceCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
SignedCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
Determines the sign of the culpability of the given conditional in the given belief set, i.e.Modifier and TypeMethodDescriptionDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
LowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
MinimalViolation2InconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
MinimalViolationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
NormalizedDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
UpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
boolean
PclDefaultConsistencyTester.isConsistent(Collection<ProbabilisticConditional> formulas)
ModifierConstructorDescriptionBalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
PclBeliefSetQuadraticErrorMinimizationMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure, OptimizationRootFinder rootFinder)
Creates a new machine shop based on the given culpability measure.SmoothedPenalizingCreepingMachineShop(OptimizationRootFinder rootFinder, CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
Creates a new creeping machine shop based on the given culpability measure. -
Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.parser
-
Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.semantics
Modifier and TypeMethodDescriptionboolean
ProbabilityDistribution.satisfies(ProbabilisticConditional formula)
-
Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.syntax
Modifier and TypeMethodDescriptionboolean
ProbabilisticConditional.qualitativeEquals(ProbabilisticConditional other)
Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.ModifierConstructorDescriptionPclBeliefSet(Collection<? extends ProbabilisticConditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals.