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.reasoner
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pcl.syntax

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

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

Modifier and Type	Class	Description
class	DistanceMinimizationInconsistencyMeasure	This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended by the use of different p-norms.
class	LowerApproxDistanceMinimizationInconsistencyMeasure	This class models an approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
class	MinimalViolation2InconsistencyMeasure	This class models the minimal violation inconsistency measure for the 2-norm.
class	MinimalViolationInconsistencyMeasure	This class provides a general implementation for the minimal violation inconsistency measure, cf.
class	PclDefaultConsistencyTester	This class is capable of checking whether a given conditional knowledge base is consistent by searching for the root of some equivalent multi-dimensional function.
class	UpperApproxDistanceMinimizationInconsistencyMeasure	This class models an approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].

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

Modifier and Type	Interface	Description
interface	SignedCulpabilityMeasure	Classes implementing this interface represent signed culpability measures, i.e.

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

Subclasses with type arguments of type ProbabilisticConditional in org.tweetyproject.logics.pcl.parser

Modifier and Type	Class	Description
class	PclParser	This class implements a parser for probabilistic conditional logic.

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.reasoner

Classes in org.tweetyproject.logics.pcl.reasoner that implement interfaces with type arguments of type ProbabilisticConditional

Modifier and Type	Class	Description
class	AbstractPclReasoner	Abstract class for all PCL reasoners.

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

Subclasses with type arguments of type ProbabilisticConditional in org.tweetyproject.logics.pcl.semantics

Modifier and Type	Class	Description
class	ProbabilityDistribution<T extends Interpretation<PlBeliefSet, PlFormula>>	This class represents a probability distribution on some logical language

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

Subclasses with type arguments of type ProbabilisticConditional in org.tweetyproject.logics.pcl.syntax

Modifier and Type	Class	Description
class	PclBeliefSet	This class models a belief set on probabilistic conditional logic, i.e.

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.