| ContensionInconsistencyMeasure |
This class implements the contension inconsistency measure, cf.
|
| ContensionInconsistencyMeasurementProcess |
Implements an approximation algorithm for the Contension inconsistency measure on streams.
|
| ContensionSatInconsistencyMeasure |
This class implements a SAT encoding of the contension inconsistency measure,
originally proposed in [Grant, Hunter.
|
| DalalDistance |
This class models the dalal distance measure between possible worlds,
see e.g.
|
| DHitSatInconsistencyMeasure |
This class presents a sat-encoding-based implementation of the hit-distance
measure of [Grant and Hunter, “Analysing inconsistent information using distance-based
measures” Int.
|
| DMaxSatInconsistencyMeasure |
This class presents a sat-encoding-based implementation of the max-distance
measure of [Grant and Hunter, “Analysing inconsistent information using distance-based
measures” Int.
|
| DSumSatInconsistencyMeasure |
This class presents a sat-encoding-based implementation of the sum-distance
measure of [Grant and Hunter, “Analysing incThis measure seeks an interpretation
I such that the the sum of the distances between every formula of the knowledge base and I is minimal.
|
| FbInconsistencyMeasure |
Implements the forgetting-based inconsistency measure from
[Besnard.
|
| FuzzyInconsistencyMeasure |
This measure implements the approach presented in [Thimm, Measuring Inconsistency with Many-Valued Logics.
|
| HsInconsistencyMeasurementProcess |
Implements an approximation algorithm for the Hs inconsistency measure on streams.
|
| HsSatInconsistencyMeasure |
This class implements a SAT encoding of the hitting set inconsistency measure,
originally proposed in [Thimm.
|
| IcebergInconsistencyMeasure |
This class implements the inconsistency measures proposed in [De Bona,
Hunter.
|
| InconsistencyMeasureFactory |
Main factory for retrieving inconsistency measures for propositional logic.
|
| MusVarInconsistencyMeasure |
This class implements the "MUS-variable based inconsistency measure" proposed in
[Xiao,Ma.
|
| PlWindowInconsistencyMeasurementProcess |
A window inconsistency measurement process for propositional logic
(this class needs to be there as no generics are allowed when instantiating
a DefaultStreamBasedInconsistencyMeasure.
|
| PmInconsistencyMeasure |
This class implements the inconsistency measure I_{P_m} proposed in
[Jabbour, Raddaoui.
|
| PossibleWorldDistance |
This class refines interpretation distances to distance on possible worlds.
|
| SatBasedInconsistencyMeasure |
A common base class for inconsistency measure implementations based on SAT
encodings.
|
| SimplePlInterpolantEnumerator |
Implements an exhaustive search approach to compute all interpolants of
a knowledge base wrt.
|