Package org.tweetyproject.logics.pl.postulates

package org.tweetyproject.logics.pl.postulates

Classes

Class	Description
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.
ImAttenuation	The "attenuation" postulate for inconsistency measures: Minimal inconsistent sets of smaller size should have a larger inconsistency value.
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.
ImContradiction	The "contradiction" postulate for inconsistency measures: A knowledge base is maximally inconsistent if all non-empty subsets are inconsistent.
ImDominance	The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.
ImEqualConflict	The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets of the same size should have the same inconsistency value.
ImExchange	The "exchange" postulate for inconsistency measures: Exchanging consistent parts of a knowledge base with equivalent ones should not change the inconsistency value.
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.
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.
ImIrrelevanceOfSyntax	The "irrelevance of syntax" postulate for inconsistency measures: Knowledge bases with pairwise equivalent formulas should receive the same inconsistency value.
ImMINormalization	The "MI-normalization" postulate for inconsistency measures: The inconsistency value of any minimal inconsistent subset is 1.
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.
ImMonotony	The "monotony" postulate for inconsistency measures: Adding information to a belief base cannot decrease the inconsistency value.
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.
ImPenalty	The "penalty" postulate for inconsistency measures: Adding a formula that participates in an inconsistency (i.e.
ImPostulate	An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.
ImSafeFormulaIndependence	The "safe-formula independence" postulate for inconsistency measures: Removing a safe formula (i.e.
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.
ImWeakDominance	A weaker variant of the "dominance" postulate using prime implicates, proposed in [Jabbour et al.