Uses of Class
net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional

Packages that use ProbabilisticConditional

Package	Description
net.sf.tweety.logics.pcl
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.parser
net.sf.tweety.logics.pcl.syntax

Uses of ProbabilisticConditional in net.sf.tweety.logics.pcl

Constructor parameters in net.sf.tweety.logics.pcl with type arguments of type ProbabilisticConditional

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

Uses of ProbabilisticConditional in net.sf.tweety.logics.pcl.analysis

Methods in net.sf.tweety.logics.pcl.analysis that return types with arguments of type ProbabilisticConditional

Modifier and Type	Method and Description
protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>	UnbiasedCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>	SmoothedPenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>	PenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected abstract Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>	AbstractCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet) Computes the values of the conditionals for step delta

Methods in net.sf.tweety.logics.pcl.analysis with parameters of type ProbabilisticConditional

Modifier and Type	Method and Description
Double	SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
Double	MeanDistanceCulpabilityMeasure.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	SignedCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional) Determines the sign of the culpability of the given conditional in the given belief set, i.e.
Double	MeanDistanceCulpabilityMeasure.sign(PclBeliefSet beliefSet, ProbabilisticConditional conditional)

Method parameters in net.sf.tweety.logics.pcl.analysis with type arguments of type ProbabilisticConditional

Modifier and Type	Method and Description
protected PclBeliefSet	AbstractCreepingMachineShop.characteristicFunction(PclBeliefSet beliefSet, Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> values) Returns a modified belief base that replaces each conditionals probability by the one given by "values".
Double	UpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	NormalizedDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	MinimalViolationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	MinimalViolation2InconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	LowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
Double	DistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)
boolean	PclDefaultConsistencyTester.isConsistent(Collection<ProbabilisticConditional> formulas)

Constructor parameters in net.sf.tweety.logics.pcl.analysis with type arguments of type ProbabilisticConditional

Constructor and Description
BalancedMachineShop(net.sf.tweety.logics.commons.analysis.CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
PclBeliefSetQuadraticErrorMinimizationMachineShop(net.sf.tweety.logics.commons.analysis.CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure) Creates a new machine shop based on the given culpability measure.
SmoothedPenalizingCreepingMachineShop(net.sf.tweety.logics.commons.analysis.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 and Description
ProbabilisticConditional	PclParser.parseFormula(Reader reader)

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 and Description
ProbabilisticConditional	ProbabilisticConditional.complement()

Methods in net.sf.tweety.logics.pcl.syntax with parameters of type ProbabilisticConditional

Modifier and Type	Method and Description
boolean	ProbabilisticConditional.qualitativeEquals(ProbabilisticConditional other) Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.