Package org.tweetyproject.logics.pl.postulates
package org.tweetyproject.logics.pl.postulates

ClassDescriptionThe "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.The "attenuation" postulate for inconsistency measures: Minimal inconsistent sets of smaller size should have a larger inconsistency value.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.The "contradiction" postulate for inconsistency measures: A knowledge base is maximally inconsistent if all nonempty subsets are inconsistent.The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets of the same size should have the same inconsistency value.The "exchange" postulate for inconsistency measures: Exchanging consistent parts of a knowledge base with equivalent ones should not change the inconsistency value.The "freeformula dilution" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set does not make the inconsistency value larger.The "freeformula independence" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set (= a free formula) does not change the inconsistency value.The "irrelevance of syntax" postulate for inconsistency measures: Knowledge bases with pairwise equivalent formulas should receive the same inconsistency value.The "MInormalization" postulate for inconsistency measures: The inconsistency value of any minimal inconsistent subset is 1.The "MIseparability" postulate for inconsistency measures: The sum of inconsistency values of two knowledge bases with noninterfering sets of minimal inconsistent subsets should be the same as the inconsistency value of their union.The "monotony" postulate for inconsistency measures: Adding information to a belief base cannot decrease the inconsistency value.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.The "penalty" postulate for inconsistency measures: Adding a formula that participates in an inconsistency (i.e.An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.The "safeformula independence" postulate for inconsistency measures: Removing a safe formula (i.e.The "superadditivity" 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.A weaker variant of the "dominance" postulate using prime implicates, proposed in [Jabbour et al.