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

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	Description
private java.util.Map<PclBeliefSet,java.util.Map<ProbabilisticConditional,java.lang.Double>>	DistanceMinimizationInconsistencyMeasure.archiveDevs	For archiving eta/tau values.
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet>	BalancedMachineShop.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>	SmoothedPenalizingCreepingMachineShop.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	Description
protected abstract java.util.Map<ProbabilisticConditional,Probability>	AbstractCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)	Computes the values of the conditionals for step delta
protected java.util.Map<ProbabilisticConditional,Probability>	PenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected java.util.Map<ProbabilisticConditional,Probability>	SmoothedPenalizingCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)
protected java.util.Map<ProbabilisticConditional,Probability>	UnbiasedCreepingMachineShop.getValues(double delta, PclBeliefSet beliefSet)

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)
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	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
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	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)	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	Description
ProbabilisticConditional	PclParser.parseFormula(java.io.Reader reader)

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

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

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

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.

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	Description
(package private) InconsistencyMeasure<BeliefSet<ProbabilisticConditional,?>>	MinimalViolationInconsistencyMeasureLPSolveTest.inc