class |
ImAdjunctionInvariance |
The "adjunction invariance" postulate for inconsistency measures: The
set notation of knowledge bases should be equivalent
to the conjunction of its formulas in terms of inconsistency values.
|
class |
ImAttenuation |
The "attenuation" postulate for inconsistency measures: Minimal inconsistent
sets of smaller size should have a larger inconsistency value.
|
class |
ImConsistency |
The "consistency" postulate for inconsistency measures: Consistent knowledge bases
receive the minimal inconsistency value (0) and all inconsistent knowledge
bases have strictly positive inconsistency values.
|
class |
ImContradiction |
The "contradiction" postulate for inconsistency measures: A knowledge base
is maximally inconsistent if all non-empty subsets are inconsistent.
|
class |
ImDominance |
The "dominance" postulate for inconsistency measures: Substituting a
consistent formula by a weaker formula should not increase the inconsistency
value.
|
class |
ImEqualConflict |
The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets
of the same size should have the same inconsistency value.
|
class |
ImExchange |
The "exchange" postulate for inconsistency measures: Exchanging consistent parts
of a knowledge base with equivalent ones should not change the inconsistency value.
|
class |
ImFreeFormulaDilution |
The "free-formula dilution" postulate for inconsistency measures: Removing a
formula not participating in any minimal inconsistent set does not make the inconsistency
value larger.
|
class |
ImFreeFormulaIndependence |
The "free-formula independence" postulate for inconsistency measures: Removing a
formula not participating in any minimal inconsistent set (= a free formula)
does not change the inconsistency value.
|
class |
ImIrrelevanceOfSyntax |
The "irrelevance of syntax" postulate for inconsistency measures: Knowledge
bases with pairwise equivalent formulas should receive the same inconsistency
value.
|
class |
ImMINormalization |
The "MI-normalization" postulate for inconsistency measures: The inconsistency
value of any minimal inconsistent subset is 1.
|
class |
ImMISeparability |
The "MI-separability" postulate for inconsistency measures: The sum of inconsistency values
of two knowledge bases with non-interfering sets of minimal inconsistent subsets should
be the same as the inconsistency value of their union.
|
class |
ImMonotony |
The "monotony" postulate for inconsistency measures: Adding information
to a belief base cannot decrease the inconsistency value.
|
class |
ImNormalization |
The "normalization" postulate for inconsistency measures: The inconsistency
value is always in the unit interval [0,1], making it possible
to compare inconsistency values for knowledge bases of different sizes.
|
class |
ImPenalty |
The "penalty" postulate for inconsistency measures: Adding a formula that participates
in an inconsistency (i.e.
|
class |
ImSafeFormulaIndependence |
The "safe-formula independence" postulate for inconsistency measures: Removing a safe
formula (i.e.
|
class |
ImSuperAdditivity |
The "super-additivity" postulate for inconsistency measures: The sum of the
inconsistency values of two disjoint knowledge bases is not larger
than the inconsistency value of the joint knowledge base.
|
class |
ImWeakDominance |
A weaker variant of the "dominance" postulate using prime implicates,
proposed in [Jabbour et al.
|