| Package | Description |
|---|---|
| net.sf.tweety.logics.pl.postulates |
| Modifier and Type | Class and Description |
|---|---|
class |
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.
|
class |
ImMonotony
The "monotony" postulate for inconsistency measures: adding information
to a belief base cannot decrease the inconsistency value.
|