AbstractBeliefSetConsistencyTester<T extends Formula> |
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.
|
AbstractMusEnumerator<S extends Formula> |
Abstract implementation for MUes enumerators.
|
BeliefSetInconsistencyMeasure<S extends Formula> |
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
CcInconsistencyMeasure<S extends Formula> |
This class implements the inconsistency measure I_CC from
[Said Jabbour and Yue Ma and Badran Raddaoui.
|
CspInconsistencyMeasure<S extends Formula> |
This class implements the inconsistency measure I_CSP from
[Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
|
DfInconsistencyMeasure<S extends Formula> |
This class implements the family of "Measures of the Degree of Inconsistency" from
[Mu,Liu,Jin, Bell.
|
DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> |
This class implements the d-hit inconsistency measure from [Grant, Hunter.
|
DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> |
This class implements the d-max inconsistency measure from [Grant, Hunter.
|
DrasticInconsistencyMeasure<S extends Formula> |
This class models the drastic inconsistency measure.
|
DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> |
This class implements the d-sum inconsistency measure from [Grant, Hunter.
|
EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula> |
This class implements the Eta-inconsistency measure, cf.
|
HsInconsistencyMeasure<B extends BeliefBase,S extends Formula> |
This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].
|
InconsistencyMeasureEvaluator<T extends Formula,U extends BeliefSet<T,?>> |
This class provides functionality to quickly load or generate sample datasets
and to use them to compare the results and performances of different
inconsistency measure implementations.
|
InconsistencyMeasureReport<T extends Formula,U extends BeliefSet<T,?>> |
This class summarizes the results of computing inconsistency values
for some collection of knowledge bases using some set of inconsistency measures,
including computation times and some statistics.
|
InconsistencyMeasureResult |
This class represents the results the result of a call to an inconsistency measure
with a knowledge base, i.e.
|
IsInconsistencyMeasure<S extends Formula> |
This class implements the inconsistency measure I_CSP from
[Said Jabbour.
|
MaInconsistencyMeasure<S extends Formula> |
This class models the I_M inconsistency measure from e.g.
|
McscInconsistencyMeasure<S extends Formula> |
This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.
|
MicInconsistencyMeasure<S extends Formula> |
This class models the MI^C inconsistency measure.
|
MiInconsistencyMeasure<S extends Formula> |
This class models the MI inconsistency measure.
|
NaiveMusEnumerator<S extends Formula> |
A simple approach to compute minimal inconsistent subsets and maximal
consistent subsets by exhaustive search.
|
NConsInconsistencyMeasure<S extends Formula> |
This class implements an inconsistency measure based on "n-consistency" proposed in
[Doder,Raskovic,Markovic,Ognjanovic.
|
NormalizedMicInconsistencyMeasure<S extends Formula> |
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
|
NormalizedMiInconsistencyMeasure<S extends Formula> |
This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].
|
PrInconsistencyMeasure<S extends Formula> |
This class models the P inconsistency measure from e.g.
|
ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>> |
This class implements the Shapley culpability measure.
|