Package net.sf.tweety.logics.pcl.analysis

Interface Summary

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

Class Summary

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 ME-distribution 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 ME-distribution 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 p-norms.
DistanceMinimizationMachineShop	This consistency restorer uses the distance minimization inconsistency measure to restore consistency.
GeneralizedMeMachineShop	Uses the generalized ME-model 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 ME-probability 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 2-norm.
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 multi-dimensional 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].