Revisiting Postulates for Inconsistency Measures

Postulates for inconsistency measures are examined, the set of postulates due to Hunter and Konieczny being the starting point. Objections are raised against a few individual postulates. More general shortcomings are discussed and a new series of postulates is introduced.

[1]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[2]  Guohui Xiao,et al.  Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets , 2012, ECAI.

[3]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[4]  Philippe Besnard,et al.  Absurdity, Contradictions, and Logical Formalisms , 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.

[5]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

[6]  Badran Raddaoui,et al.  Measuring Inconsistency through Minimal Proofs , 2013, ECSQARU.

[7]  Dov M. Gabbay,et al.  Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency , 1993, ECSQARU.

[8]  Weiru Liu,et al.  Measuring the blame of each formula for inconsistent prioritized knowledge bases , 2012, J. Log. Comput..

[9]  Weiru Liu,et al.  Under Consideration for Publication in Knowledge and Information Systems a General Framework for Measuring Inconsistency through Minimal Inconsistent Sets , 2022 .

[10]  Matthias Thimm,et al.  Inconsistency measures for probabilistic logics , 2013, Artif. Intell..

[11]  Guilin Qi,et al.  Computing inconsistency measure based on paraconsistent semantics , 2011, J. Log. Comput..

[12]  Alonzo Church,et al.  Introduction to Mathematical Logic , 1991 .

[13]  Anthony Hunter,et al.  Measuring Inconsistency through Minimal Inconsistent Sets , 2008, KR.

[14]  Miodrag Raskovic,et al.  Measures of inconsistency and defaults , 2010, Int. J. Approx. Reason..

[15]  Carlos A. Oller,et al.  Measuring coherence using LP-models , 2004, J. Appl. Log..

[16]  Anthony Hunter,et al.  On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..