Uses of Class
net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
-
Packages that use ProbabilisticConditional Package Description net.sf.tweety.logics.pcl.analysis net.sf.tweety.logics.pcl.parser net.sf.tweety.logics.pcl.semantics net.sf.tweety.logics.pcl.syntax -
-
Uses of ProbabilisticConditional in net.sf.tweety.logics.pcl.analysis
Methods in net.sf.tweety.logics.pcl.analysis with parameters of type ProbabilisticConditional Modifier and Type Method Description java.lang.Double
MeanDistanceCulpabilityMeasure. culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double
SignedCulpabilityMeasure. culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double
DistanceMinimizationInconsistencyMeasure. getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)
Returns the deviation of the given conditional in the nearest consistent belief set.boolean
PclDefaultConsistencyTester. isConsistent(ProbabilisticConditional formula)
java.lang.Double
MeanDistanceCulpabilityMeasure. sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double
SignedCulpabilityMeasure. sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
Determines the sign of the culpability of the given conditional in the given belief set, i.e.Method parameters in net.sf.tweety.logics.pcl.analysis with type arguments of type ProbabilisticConditional Modifier and Type Method Description java.lang.Double
DistanceMinimizationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
LowerApproxDistanceMinimizationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
MinimalViolation2InconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
MinimalViolationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
NormalizedDistanceMinimizationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double
UpperApproxDistanceMinimizationInconsistencyMeasure. inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
boolean
PclDefaultConsistencyTester. isConsistent(java.util.Collection<ProbabilisticConditional> formulas)
Constructor parameters in net.sf.tweety.logics.pcl.analysis with type arguments of type ProbabilisticConditional Constructor Description BalancedMachineShop(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 net.sf.tweety.logics.pcl.parser
Methods in net.sf.tweety.logics.pcl.parser that return ProbabilisticConditional Modifier and Type Method Description ProbabilisticConditional
PclParser. parseFormula(java.io.Reader reader)
-
Uses of ProbabilisticConditional in net.sf.tweety.logics.pcl.semantics
Methods in net.sf.tweety.logics.pcl.semantics with parameters of type ProbabilisticConditional Modifier and Type Method Description boolean
ProbabilityDistribution. satisfies(ProbabilisticConditional formula)
-
Uses of ProbabilisticConditional in net.sf.tweety.logics.pcl.syntax
Methods in net.sf.tweety.logics.pcl.syntax that return ProbabilisticConditional Modifier and Type Method Description ProbabilisticConditional
ProbabilisticConditional. complement()
Methods in net.sf.tweety.logics.pcl.syntax with parameters of type ProbabilisticConditional Modifier and Type Method Description boolean
ProbabilisticConditional. qualitativeEquals(ProbabilisticConditional other)
Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.Constructor parameters in net.sf.tweety.logics.pcl.syntax with type arguments of type ProbabilisticConditional Constructor Description PclBeliefSet(java.util.Collection<? extends ProbabilisticConditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals.
-