Abstract

Artificial intelligence researchers have been designing representation systems for default and abductive reasoning. Logic Programming researchers have been working on techniques to improve the efficiency of Horn Clause deduction systems. This paper describes how one such default and abductive reasoning system (namely Theorist) can be translated into Horn clauses (with negation as failure), so that we can use the clarity of abductive reasoning systems and the efficiency of Horn clause deduction systems. We thus show how advances in expressive power that artificial intelligence workers are working on can directly utilise advances in efficiency that logic programming researchers are working on. Actual code from a running system is given. 1 Introduction Many people in Artificial Intelligence have been working on default reasoning and abductive diagnosis systems [35, 20, 4, 29]. The systems implemented so far (eg., [1, 16, 12, 34, 32]) are only prototypes or have been developed in A Theo...

Citations

1739	Foundations of Logic Programming - Lloyd - 1984
1247	A logic for default reasoning - Reiter - 1980
552	A Truth Maintenance System - Doyle
439	Algorithmic Program Debugging - Shapiro - 1983
388	An assumption-based TMS - Kleer - 1986
348	A logical framework for default reasoning - Poole� - 1988
300	Circumscription - Lifschitz - 1991
211	Automated Theorem Proving: A Logical Basis - Loveland - 1987
120	Explanation and prediction: An architecture for default and abductive reasoning - Poole - 1989
119	R.: Theorist: A Logical Reasoning System for Defaults and Diagnosis, The Knowledge Frontier - Poole, Aleliunas, et al. - 1987
114	Algorithm = Logic + Control - Kowalski - 1979
94	A Prolog technology theorem prover: implementation by an extended Prolog compiler - Stickel - 1986
92	On the mechanization of abductive logic - Pople - 1973
84	Reasoning with incomplete information - Etherington - 1988
67	A circumscriptive theorem prover - Ginsberg - 1989
55	An algorithm to compute circumscription - Przymusinski - 1989
54	A methodology for using a default and abductive reasoning system - Poole
54	A Prolog Technology Theorem Prover: A New Exposition and Implementation - Stickel - 1989
53	General diagnosis by abductive inference - Cox, Pietrzykowski - 1987
39	Enderton, A mathematical introduction to logic. Second edition - B - 2001
37	A prolog technology theorem prover - Stickel - 1988
26	K.: Eliminating the Fixed Predicates from a Circumscription - Kleer, Konolige - 1989
25	Logical Foundations of Arti cial Intelligence - Genesereth, Nilsson - 1988
24	Negation and quantifiers in NU-Prolog - Naish - 1986
18	Applications of Circumscription to formalising commonsense knowledge - McCarthy - 1986
16	The Occur-Check Problem in Prolog - Plaisted - 1984
13	Towards solving the multiple extension problem: combining defaults and probabilities", Workshop on Reasoning with Uncertainty - Neufeld, Poole
8	Applying Theory Formation to the Planning Problem - Goebel, Goodwin - 1987
7	Query answering in circumscription - Helft, Inoue, et al. - 1991
5	On eliminating loops - Poole, Goebel - 1985
3	Tweety - Still Flying: Some Remarks on Abnormal Birds, Applicable Rules and a Default Prover - Brewka - 1986
2	The Architecture of a Parallel Inference Engine - Moto-Oka, Tanaka, et al. - 1984
2	Negation and quanti ers in NU-Prolog - Naish - 1986
2	Hentenryck, \A Framework for consistency techniques - Van - 1987
1	Dependency-directed backtracking for Prolog Programs - Cox
1	Near-Horn Logic Programming - Loveland - 1987
1	The semantics of induction and the possibility of complete systems of inductive reasoning - Meltzer - 1970
1	Making Clausal theorem provers Non-clausal - Poole - 1984
1	Gracefully adding Negation to Prolog - Poole, Goebel - 1986
1	Ordering Conjunctive Queries", Artificial Intelligence 1886 - Smith, Genesereth
1	Avoiding Redundant Explanations - Spencer - 1990
1	Hentenryck, "A Framework for consistency techniques - Van
1	Eliminating the xed predicates from a circumscription - Kleer, Konolige - 1989
1	Ordering Conjunctive Queries", Arti cial Intelligence 1886 - Smith, Genesereth