| 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 |
| Constructor and Description |
|---|
PclBeliefSet(Collection<? extends ProbabilisticConditional> conditionals)
Creates a new conditional belief set with the given collection of
conditionals.
|
| Modifier and Type | Method and Description |
|---|---|
protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> |
SmoothedPenalizingCreepingMachineShop.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
|
protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> |
PenalizingCreepingMachineShop.getValues(double delta,
PclBeliefSet beliefSet) |
protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> |
UnbiasedCreepingMachineShop.getValues(double delta,
PclBeliefSet beliefSet) |
| Modifier and Type | Method and 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.
|
| 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 |
MinimalViolation2InconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
MinimalViolationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
NormalizedDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
LowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
UpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
DistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
Double |
NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure.inconsistencyMeasure(Collection<ProbabilisticConditional> formulas) |
boolean |
PclDefaultConsistencyTester.isConsistent(Collection<ProbabilisticConditional> formulas) |
| 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.
|
| Modifier and Type | Method and Description |
|---|---|
ProbabilisticConditional |
PclParser.parseFormula(Reader reader) |
| Modifier and Type | Method and Description |
|---|---|
ProbabilisticConditional |
ProbabilisticConditional.complement() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ProbabilisticConditional.qualitativeEquals(ProbabilisticConditional other)
Checks whether this and the given probabilistic conditional are
qualitatively equivalent, i.e.
|
Copyright © 2018. All rights reserved.