Uses of Class
net.sf.tweety.logics.pl.postulates.ImPostulate

Packages that use ImPostulate

Package	Description
net.sf.tweety.logics.pl.postulates

Uses of ImPostulate in net.sf.tweety.logics.pl.postulates

Subclasses of ImPostulate in net.sf.tweety.logics.pl.postulates

Modifier and Type	Class and Description
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	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.
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.

Fields in net.sf.tweety.logics.pl.postulates declared as ImPostulate

Modifier and Type	Field and Description
static ImPostulate	ImPostulate.CONSISTENCY The CONSISTENCY postulate
static ImPostulate	ImPostulate.FREEFORMULAINDEPENDENCE The FREEFORMULAINDEPENDENCE postulate
static ImPostulate	ImPostulate.MONOTONY The MONOTONY postulate
static ImPostulate	ImPostulate.NORMALIZATION The NORMALIZATION postulate