| Modifier and Type | Class and Description | 
|---|---|
class  | 
PAInconsistencyMeasure
This inconsistency measure measures the distance between a given partial
 probability assignment to the set of rational/justifiable probabilistic extensions
 of a given Dung theory. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
BeliefSetInconsistencyMeasure<S extends Formula>
Classes extending this abstract class represent inconsistency measures
 on belief sets. 
 | 
class  | 
CcInconsistencyMeasure<S extends Formula>
This class implements the inconsistency measure I_CC from 
 [Said Jabbour and Yue Ma and Badran Raddaoui. 
 | 
class  | 
CspInconsistencyMeasure<S extends Formula>
This class implements the inconsistency measure I_CSP from 
 [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi. 
 | 
class  | 
DfInconsistencyMeasure<S extends Formula>
This class implements the family of "Measures of the Degree of Inconsistency" from
 [Mu,Liu,Jin, Bell. 
 | 
class  | 
DHitInconsistencyMeasure<T extends Interpretation,S extends Formula>
This class implements the d-hit inconsistency measure from  [Grant, Hunter. 
 | 
class  | 
DMaxInconsistencyMeasure<T extends Interpretation,S extends Formula>
This class implements the d-max inconsistency measure from  [Grant, Hunter. 
 | 
class  | 
DrasticInconsistencyMeasure<S extends Formula>
This class models the drastic inconsistency measure. 
 | 
class  | 
DSumInconsistencyMeasure<T extends Interpretation,S extends Formula>
This class implements the d-sum inconsistency measure from  [Grant, Hunter. 
 | 
class  | 
EtaInconsistencyMeasure<S extends Formula>
This class implements the Eta-inconsistency measure, cf. 
 | 
class  | 
HsInconsistencyMeasure<S extends Formula>
This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation]. 
 | 
class  | 
IsInconsistencyMeasure<S extends Formula>
This class implements the inconsistency measure I_CSP from 
 [Said Jabbour. 
 | 
class  | 
MaInconsistencyMeasure<S extends Formula>
This class models the I_M inconsistency measure from e.g. 
 | 
class  | 
McscInconsistencyMeasure<S extends Formula>
This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha. 
 | 
class  | 
MicInconsistencyMeasure<S extends Formula>
This class models the MI^C inconsistency measure. 
 | 
class  | 
MiInconsistencyMeasure<S extends Formula>
This class models the MI inconsistency measure. 
 | 
class  | 
NConsInconsistencyMeasure<S extends Formula>
This class implements an inconsistency measure based on "n-consistency" proposed in 
 [Doder,Raskovic,Markovic,Ognjanovic. 
 | 
class  | 
NormalizedMicInconsistencyMeasure<S extends Formula>
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm]. 
 | 
class  | 
NormalizedMiInconsistencyMeasure<S extends Formula>
This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm]. 
 | 
class  | 
PrInconsistencyMeasure<S extends Formula>
This class models the P inconsistency measure from e.g. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
DefaultStreamBasedInconsistencyMeasure<S extends Formula>
Implements a stream-based inconsistency measure on a given class of
 inconsistency measurement processes. 
 | 
class  | 
StreamBasedInconsistencyMeasure<S extends Formula>
General interface for inconsistency measures working on streams. 
 | 
| Modifier and Type | Class and 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  | 
NormalizedDistanceMinimizationInconsistencyMeasure
This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm]. 
 | 
class  | 
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]. 
 | 
class  | 
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]. 
 | 
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]. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
(package private) InconsistencyMeasure<BeliefSet<ProbabilisticConditional>> | 
MinimalViolationInconsistencyMeasureLPSolveTest.inc  | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
ContensionInconsistencyMeasure
This class implements the contension inconsistency measure, cf. 
 | 
class  | 
FbInconsistencyMeasure
Implements the forgetting-based inconsistency measure from
 [Besnard. 
 | 
class  | 
FuzzyInconsistencyMeasure
This measure implements the approach presented in [Thimm, 2016, to appear]. 
 | 
class  | 
MusVarInconsistencyMeasure
This class implements the "MUS-variable based inconsistency measure" proposed in 
 [Xiao,Ma. 
 | 
class  | 
PmInconsistencyMeasure
This class implements the inconsistency measure I_{P_m} proposed in 
 [Jabbour, Raddaoui. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static InconsistencyMeasure<BeliefSet<PropositionalFormula>> | 
InconsistencyMeasureFactory.getInconsistencyMeasure(InconsistencyMeasureFactory.Measure im)
Creates a new inconsistency measure of the given type with default
 settings. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
SdInconsistencyMeasure
This class implements the inconsistency measure $I_sd$ from
 [Ulbricht, Thimm, Brewka. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
(package private) InconsistencyMeasure<BeliefSet<PropositionalFormula>> | 
InconsistencyMeasurementService.MeasurementCallee.measure  | 
| Constructor and Description | 
|---|
MeasurementCallee(InconsistencyMeasure<BeliefSet<PropositionalFormula>> measure,
                 BeliefSet<PropositionalFormula> beliefSet)  |