Measures of inconsistency and defaults

We introduce a method for measuring inconsistency based on the number of formulas needed for deriving a contradiction. The relationships to previously considered methods based on probability measures are discussed. Those methods are extended to conditional probability and default reasoning.

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

[2]  B. H. Slater,et al.  Paraconsistent logics? , 1995, J. Philos. Log..

[3]  Thomas Lukasiewicz,et al.  Weak nonmonotonic probabilistic logics , 2004, Artif. Intell..

[4]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[5]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[6]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[7]  Sébastien Konieczny,et al.  Reasoning under inconsistency: the forgotten connective , 2005, IJCAI.

[8]  Bernd Neumann,et al.  Lectures Notes in Artificial Intelligence , 2003 .

[9]  Bryson Brown.  Yes, Virginia, there Really are Paraconsistent Logics , 1999, J. Philos. Log..

[10]  Dov M. Gabbay,et al.  Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.

[11]  Alessandro Saffiotti,et al.  Belief functions and default reasoning , 1995, Artif. Intell..

[12]  H. Prade,et al.  Possibilistic logic , 1994 .

[13]  Rohit Parikh.  Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990 , 1990, TARK.

[14]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[15]  Miodrag Raskovic,et al.  A logic with approximate conditional probabilities that can model default reasoning , 2008, Int. J. Approx. Reason..

[16]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[17]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[18]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[19]  Emil Weydert,et al.  System JLZ - rational default reasoning by minimal ranking constructions , 2003, J. Appl. Log..

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

[21]  Miodrag Raskovic,et al.  A Logic with Conditional Probabilities , 2004, JELIA.

[22]  Paul Snow,et al.  Diverse Confidence Levels in a Probabilistic Semantics for Conditional Logics , 1999, Artif. Intell..

[23]  Judea Pearl,et al.  Specificity and Inheritance in Default Reasoning , 1995, IJCAI.

[24]  Jeff B. Paris,et al.  Inconsistency as qualified truth: A probability logic approach , 2009, Int. J. Approx. Reason..

[25]  Graham Priest,et al.  Paraconsistent Logic: Essays on the Inconsistent , 1990 .

[26]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[27]  Jérôme Lang,et al.  Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.

[28]  Didier Dubois,et al.  Ordinal and Probabilistic Representations of Acceptance , 2004, J. Artif. Intell. Res..

[29]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[30]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[31]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[32]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[33]  A. Hunter,et al.  Shapley Inconsistency Values , 2006, KR.

[34]  Souhila Kaci,et al.  An argumentation framework for merging conflicting knowledge bases , 2007, Int. J. Approx. Reason..

[35]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P , 2002, J. Appl. Non Class. Logics.

[36]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[37]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

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

[39]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[40]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[41]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[42]  K. D. Stroyan,et al.  Introduction to the theory of infinitesimals , 1976 .