Uses of Class
org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional

Packages that use ProbabilisticConditional

Package	Description
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pcl.parser
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pcl.syntax

Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.analysis

Methods in org.tweetyproject.logics.pcl.analysis with parameters of type ProbabilisticConditional

Modifier and Type	Method	Description
Double	MeanDistanceCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
Double	SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
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)
Double	MeanDistanceCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
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 org.tweetyproject.logics.pcl.analysis with type arguments of type ProbabilisticConditional

Modifier and Type	Method	Description
Double	DistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	LowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	MinimalViolation2InconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	MinimalViolationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	NormalizedDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	UpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
boolean	PclDefaultConsistencyTester.isConsistent(Collection<ProbabilisticConditional> formulas)

Constructor parameters in org.tweetyproject.logics.pcl.analysis with type arguments of type ProbabilisticConditional

Modifier	Constructor	Description
	BalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)	Constructor
	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

Methods in org.tweetyproject.logics.pcl.parser that return ProbabilisticConditional

Modifier and Type	Method	Description
ProbabilisticConditional	PclParser.parseFormula(Reader reader)

Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.semantics

Methods in org.tweetyproject.logics.pcl.semantics with parameters of type ProbabilisticConditional

Modifier and Type	Method	Description
boolean	ProbabilityDistribution.satisfies(ProbabilisticConditional formula)

Uses of ProbabilisticConditional in org.tweetyproject.logics.pcl.syntax

Methods in org.tweetyproject.logics.pcl.syntax that return ProbabilisticConditional

Modifier and Type	Method	Description
ProbabilisticConditional	ProbabilisticConditional.complement()

Methods in org.tweetyproject.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 org.tweetyproject.logics.pcl.syntax with type arguments of type ProbabilisticConditional

Modifier	Constructor	Description
	PclBeliefSet(Collection<? extends ProbabilisticConditional> conditionals)	Creates a new conditional belief set with the given collection of conditionals.