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
net.sf.tweety.logics.pcl.test

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

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

Modifier and Type	Field and Description
private BeliefSetInconsistencyMeasure<ProbabilisticConditional>	GeneralizedMeReasoner.inc The corresponding inconsistency measure.

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

Constructor and Description
PclBeliefSet(java.util.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

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

Modifier and Type	Field and Description
private java.util.Map<PclBeliefSet,java.util.Map<ProbabilisticConditional,java.lang.Double>>	DistanceMinimizationInconsistencyMeasure.archiveDevs For archiving eta/tau values.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	SmoothedPenalizingCreepingMachineShop.culpabilityMeasure The culpability measure used by this machine shop.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	PclBeliefSetQuadraticErrorMinimizationMachineShop.culpabilityMeasure The culpability measure this machine shop bases on.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	BalancedMachineShop.culpabilityMeasure The culpability measure used by this machine shop.
private java.util.Map<ProbabilisticConditional,java.lang.Double>	PenalizingCreepingMachineShop.culpVector The culpability vector.

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

Modifier and Type	Method and Description
protected java.util.Map<ProbabilisticConditional,Probability>	UnbiasedCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected java.util.Map<ProbabilisticConditional,Probability>	SmoothedPenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected java.util.Map<ProbabilisticConditional,Probability>	PenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected abstract java.util.Map<ProbabilisticConditional,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
java.lang.Double	SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
java.lang.Double	MeanDistanceCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet, ProbabilisticConditional conditional)
private OptimizationProblem	MeanDistanceCulpabilityMeasure.getBaseProblem(PclBeliefSet beliefSet, ProbabilisticConditional conditional, double incVal) Creates the base problem (without target function set) for determining both minimal and maximal incon values.
java.lang.Double	DistanceMinimizationInconsistencyMeasure.getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc) Returns the deviation of the given conditional in the nearest consistent belief set.
private java.lang.Double	MeanDistanceCulpabilityMeasure.getMaximumValue(PclBeliefSet beliefSet, ProbabilisticConditional conditional, double incVal) Determines the maximal value for the given conditional.
private java.lang.Double	MeanDistanceCulpabilityMeasure.getMinimumValue(PclBeliefSet beliefSet, ProbabilisticConditional conditional, double incVal) Determines the minimal value for the given conditional.
boolean	PclDefaultConsistencyTester.isConsistent(ProbabilisticConditional formula)
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.
java.lang.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, java.util.Map<ProbabilisticConditional,Probability> values) Returns a modified belief base that replaces each conditionals probability by the one given by "values".
java.lang.Double	UpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	NormalizedDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	MinimalViolationInconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	MinimalViolation2InconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	LowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
java.lang.Double	DistanceMinimizationInconsistencyMeasure.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 and Description
BalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
PclBeliefSetQuadraticErrorMinimizationMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure) Creates a new machine shop based on the given culpability measure.
SmoothedPenalizingCreepingMachineShop(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(java.io.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.

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

Fields in net.sf.tweety.logics.pcl.test with type parameters of type ProbabilisticConditional

Modifier and Type	Field and Description
(package private) InconsistencyMeasure<BeliefSet<ProbabilisticConditional>>	MinimalViolationInconsistencyMeasureLPSolveTest.inc