Uses of Class
org.tweetyproject.logics.pl.postulates.ImPostulate
-
Uses of ImPostulate in org.tweetyproject.logics.pl.postulates
Modifier and TypeClassDescriptionclass
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
The "attenuation" postulate for inconsistency measures: Minimal inconsistent sets of smaller size should have a larger inconsistency value.class
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
The "contradiction" postulate for inconsistency measures: A knowledge base is maximally inconsistent if all non-empty subsets are inconsistent.class
The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.class
The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets of the same size should have the same inconsistency value.class
The "exchange" postulate for inconsistency measures: Exchanging consistent parts of a knowledge base with equivalent ones should not change the inconsistency value.class
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
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
The "irrelevance of syntax" postulate for inconsistency measures: Knowledge bases with pairwise equivalent formulas should receive the same inconsistency value.class
The "MI-normalization" postulate for inconsistency measures: The inconsistency value of any minimal inconsistent subset is 1.class
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
The "monotony" postulate for inconsistency measures: Adding information to a belief base cannot decrease the inconsistency value.class
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
The "penalty" postulate for inconsistency measures: Adding a formula that participates in an inconsistency (i.e.class
The "safe-formula independence" postulate for inconsistency measures: Removing a safe formula (i.e.class
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
A weaker variant of the "dominance" postulate using prime implicates, proposed in [Jabbour et al.Modifier and TypeFieldDescriptionstatic ImPostulate
ImPostulate.ADJUNCTIONINVARIANCE
The ADJUNCTIONINVARIANCE postulatestatic ImPostulate
ImPostulate.ATTENUATION
The ATTENUATION postulatestatic ImPostulate
ImPostulate.CONSISTENCY
The CONSISTENCY postulatestatic ImPostulate
ImPostulate.CONTRADICTION
The CONTRADICTION postulatestatic ImPostulate
ImPostulate.DOMINANCE
The DOMINANCE postulatestatic ImPostulate
ImPostulate.EQUALCONFLICT
The EQUALCONFLICT postulatestatic ImPostulate
ImPostulate.EXCHANGE
The EXCHANGE postulatestatic ImPostulate
ImPostulate.FREEFORMULADILUTION
The FREEFORMULADILUTION postulatestatic ImPostulate
ImPostulate.FREEFORMULAINDEPENDENCE
The FREEFORMULAINDEPENDENCE postulatestatic ImPostulate
ImPostulate.IRRELEVANCEOFSYNTAX
The IRRELEVANCEOFSYNTAX postulatestatic ImPostulate
ImPostulate.MINORMALIZATION
The MINORMALIZATION postulatestatic ImPostulate
ImPostulate.MISEPARABILITY
The MISEPARABILITY postulatestatic ImPostulate
ImPostulate.MONOTONY
The MONOTONY postulatestatic ImPostulate
ImPostulate.NORMALIZATION
The NORMALIZATION postulatestatic ImPostulate
ImPostulate.PENALTY
The PENALTY postulatestatic ImPostulate
ImPostulate.SAFEFORMULAINDEPENDENCE
The SAFEFORMULAINDEPENDENCE postulatestatic ImPostulate
ImPostulate.SUPERADDITIVITY
The SUPERADDITIVITY postulatestatic ImPostulate
ImPostulate.WEAKDOMINANCE
The WEAKDOMINANCE postulate