Interface  Description 

SignedCulpabilityMeasure 
Classes implementing this interface represent signed culpability measures, i.e.

Class  Description 

AbstractCreepingMachineShop 
The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.

BalancedMachineShop 
This class implements a consistency restorer using balanced distance minimization, see [Diss, Thimm] for details.

ConvexAggregatingMaxConsMeMachineShop 
This consistency restorer determines the new probabilities of conditionals
by computing the MEdistribution of each maximal consistent subset of the
knowledge base, then convex combining those yielding a distribution P,
and extracting the new probabilities from P.

ConvexAggregatingMeMachineShop 
This consistency restorer determines the new probabilities of conditionals
by computing the MEdistribution of each single conditional, then convex
combining those yielding a distribution P, and extracting the new probabilities
from P.

DistanceMinimizationInconsistencyMeasure 
This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended
by the use of different pnorms.

DistanceMinimizationMachineShop 
This consistency restorer uses the distance minimization inconsistency measure
to restore consistency.

GeneralizedMeMachineShop 
Uses the generalized MEmodel of a knowledge base to repair it, cf.

LowerApproxDistanceMinimizationInconsistencyMeasure 
This class models an approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].

MaximumEntropyMachineShop 
This consistency restorer uses the idea of the upper approximative distance minimization inconsistency measure to compute a
MEprobability distribution and adjust the probabilities of the conditionals accordingly.

MeanDistanceCulpabilityMeasure 
This class implements the mean distance culpability measure, see [PhD thesis, Thimm].

MinimalViolation2InconsistencyMeasure 
This class models the minimal violation inconsistency measure for the 2norm.

MinimalViolationEuclideanMachineShop 
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.

MinimalViolationEuclideanMachineShopOjAlgoExpression 
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.

MinimalViolationEuclideanMachineShopOjAlgoMatrix 
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.

MinimalViolationInconsistencyMeasure 
This class provides a general implementation for the minimal violation inconsistency measure,
cf.

MinimumAggregatedDistanceMachineShop 
This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].

MinimumViolationMachineShop 
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimum violation inconsistency measure".

NormalizedDistanceMinimizationInconsistencyMeasure 
This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].

NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure 
This class models a normalized approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].

NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure 
This class models a normalized approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].

PclBeliefSetQuadraticErrorMinimizationMachineShop 
This class is capable of restoring consistency of a possible inconsistent probabilistic
conditional belief set.

PclDefaultConsistencyTester 
This class is capable of checking whether a given conditional knowledge base
is consistent by searching for the root of some equivalent multidimensional function.

PenalizingCreepingMachineShop 
This class is capable of restoring consistency of a possible inconsistent probabilistic
conditional belief set.

SmoothedPenalizingCreepingMachineShop 
This class is capable of restoring consistency of a possible inconsistent probabilistic
conditional belief set.

UnbiasedCreepingMachineShop 
This class is capable of restoring consistency of a possible inconsistent probabilistic
conditional belief set.

UpperApproxDistanceMinimizationInconsistencyMeasure 
This class models an approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
