Uses of Class
net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
-
-
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 deltaprotected 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
-