Uses of Class
org.tweetyproject.logics.pl.postulates.ImPostulate

Packages that use ImPostulate

Package	Description
org.tweetyproject.logics.pl.postulates

Uses of ImPostulate in org.tweetyproject.logics.pl.postulates

Subclasses of ImPostulate in org.tweetyproject.logics.pl.postulates

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

Fields in org.tweetyproject.logics.pl.postulates declared as ImPostulate

Modifier and Type	Field	Description
static final ImPostulate	ImPostulate.ADJUNCTIONINVARIANCE	The ADJUNCTIONINVARIANCE postulate
static final ImPostulate	ImPostulate.ATTENUATION	The ATTENUATION postulate
static final ImPostulate	ImPostulate.CONSISTENCY	The CONSISTENCY postulate
static final ImPostulate	ImPostulate.CONTRADICTION	The CONTRADICTION postulate
static final ImPostulate	ImPostulate.DOMINANCE	The DOMINANCE postulate
static final ImPostulate	ImPostulate.EQUALCONFLICT	The EQUALCONFLICT postulate
static final ImPostulate	ImPostulate.EXCHANGE	The EXCHANGE postulate
static final ImPostulate	ImPostulate.FREEFORMULADILUTION	The FREEFORMULADILUTION postulate
static final ImPostulate	ImPostulate.FREEFORMULAINDEPENDENCE	The FREEFORMULAINDEPENDENCE postulate
static final ImPostulate	ImPostulate.IRRELEVANCEOFSYNTAX	The IRRELEVANCEOFSYNTAX postulate
static final ImPostulate	ImPostulate.MINORMALIZATION	The MINORMALIZATION postulate
static final ImPostulate	ImPostulate.MISEPARABILITY	The MISEPARABILITY postulate
static final ImPostulate	ImPostulate.MONOTONY	The MONOTONY postulate
static final ImPostulate	ImPostulate.NORMALIZATION	The NORMALIZATION postulate
static final ImPostulate	ImPostulate.PENALTY	The PENALTY postulate
static final ImPostulate	ImPostulate.SAFEFORMULAINDEPENDENCE	The SAFEFORMULAINDEPENDENCE postulate
static final ImPostulate	ImPostulate.SUPERADDITIVITY	The SUPERADDITIVITY postulate
static final ImPostulate	ImPostulate.WEAKDOMINANCE	The WEAKDOMINANCE postulate