Natural properties of abductive hypotheses in three-valued logic

This paper shows some interesting properties of Kleene’s threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals with minimization in two-valued semantics.

[1]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[2]  Katsumi Inoue,et al.  Linear Resolution for Consequence Finding , 1992, Artif. Intell..

[3]  Randy Goebel,et al.  Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .

[4]  Charles G. Morgan,et al.  Hypothesis Generation by Machine , 1971, Artif. Intell..

[5]  W. Quine.  On Cores and Prime Implicants of Truth Functions , 1959 .

[6]  B. V. Fraassen.  Presupposition, Implication, and Self-Reference , 1968 .

[7]  Philip T. Cox,et al.  A Complete, Nonredundant Algorithm for Reversed Skolemization , 1980, CADE.

[8]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

[9]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[10]  Pierre Marquis,et al.  Extending abduction from propositional to first-order logic , 1991, FAIR.

[11]  Patrick Doherty,et al.  NML3. A Non-Monotonic Logic with Explicit Defaults , 1992, J. Appl. Non Class. Logics.

[12]  David Poole,et al.  Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..

[13]  Patrick Doherty.  A constraint-based approach to proof procedures for multi-valued logics , 1992 .

[14]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[15]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[16]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.