Three-Valued Logics for Inconsistency Handling

While three-valued paraconsistent logic is a valuable framework for reasoning under inconsistency, the corresponding basic inference relation is too cautious and fails in discriminating in a fine-grained way the set of expected consequences of belief bases. To address both issues, we point out more refined inference relations. We analyze them from the logical and computational points of view and we compare them with respect to their relative cautiousness.

[1]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[2]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

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

[4]  Didier Dubois,et al.  Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification , 2001, Annals of Mathematics and Artificial Intelligence.

[5]  Pierre Marquis,et al.  Complexity Results for Paraconsistent Inference Relations , 2002, KR.

[6]  Arnon Avron,et al.  Four-Valued Diagnoses for Stratified Knowledge-Bases , 1996, CSL.

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

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

[9]  Torsten Schaub,et al.  Circumscribing Inconsistency , 1997, IJCAI.

[10]  Erik Sandewall,et al.  A functional approach to non‐monotonic logic 1 , 1985 .

[11]  Erik Sandewall,et al.  A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.

[12]  Pierre Marquis,et al.  Resolving Inconsistencies by Variable Forgetting , 2002, KR.

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

[14]  Graham Priest,et al.  Reasoning About Truth , 1989, Artif. Intell..

[15]  Alan M. Frisch.  Inference without Chaining , 1987, IJCAI.

[16]  Arnon Avron,et al.  Simple Consequence Relations , 1988, Inf. Comput..

[17]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[18]  Pierre Marquis,et al.  Resource-bounded inference from inconsistent belief bases , 2001, IJCAI.

[19]  Graham Priest,et al.  Minimally inconsistent LP , 1991, Stud Logica.

[20]  Claudette Cayrol,et al.  Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations , 1995, ECSQARU.

[21]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[22]  Arnon Avron,et al.  The Value of the Four Values , 1998, Artif. Intell..