class |
ContensionSatInconsistencyMeasure |
This class implements a SAT encoding of the contension inconsistency measure,
originally proposed in [Grant, Hunter.
|
class |
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.
|
class |
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.
|
class |
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.
|
class |
HsSatInconsistencyMeasure |
This class implements a SAT encoding of the hitting set inconsistency measure,
originally proposed in [Thimm.
|