| Class | Description |
|---|---|
| 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.
|
| ImFreeFormulaIndependence |
The "free-formula independence" postulate for inconsistency measures: removing a
formula not participating in any minimal inconsistent set does not change the inconsistency
value.
|
| ImMonotony |
The "monotony" postulate for inconsistency measures: adding information
to a belief base cannot decrease the inconsistency value.
|
| 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.
|
| ImPostulate |
An abstract postulate for inconsistency measures in propositional
logic; the ancestor of all concrete postulates.
|
Copyright © 2019. All rights reserved.