Automated Abduction in Scientific Discovery

The role of abduction in the philosophy of science has been well studied in recent years and has led to a deeper understanding of many formal and pragmatic issues [1, 2, 3, 4, 5]. This paper is written from the point of view that real applications are now needed to help consolidate what has been learned so far and to inspire new developments. With an emphasis on computational mechanisms, it examines the abductive machinery used for generating hypotheses in a recent Robot Scientist project [6] and shows how techniques from Abductive Logic Programming [7] offer superior reasoning capabilities needed in more advanced practical applications. Two classes of abductive proof procedures are identified and compared in a case study. Backward-chaining logic programming methods are shown to outperform theorem proving approaches based on the use of contrapositive reasoning.

[1]  Krysia Broda,et al.  Hybrid Abductive Inductive Learning: A Generalisation of Progol , 2003, ILP.

[2]  John R. Josephson,et al.  Abductive inference : computation, philosophy, technology , 1994 .

[3]  L. Magnani.  Abduction, Reason, and Science. Process of Discovery and Explanation , 2001 .

[4]  J. Monod,et al.  Genetic regulatory mechanisms in the synthesis of proteins. , 1961, Journal of Molecular Biology.

[5]  James Cussens,et al.  Proceedings of the 10th International Conference on Inductive Logic Programming , 2000 .

[6]  Mark E. Stickel,et al.  A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog , 1990, Theor. Comput. Sci..

[7]  Peter A. Flach,et al.  Abduction and induction: essays on their relation and integration , 2000 .

[8]  Dov M. Gabbay,et al.  The reach of abduction : insight and trial , 2005 .

[9]  Dav M. Gabbay.  Chapter 3 – The Structure of Abduction , 2005 .

[10]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[11]  Oliver Ray.  The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic , 2005, ICLP.

[12]  Stephen Muggleton,et al.  Theory Completion Using Inverse Entailment , 2000, ILP.

[13]  L Aravind,et al.  Robot Scientist: an Autonomous Platform for Systems Biology Discovery , 2006 .

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

[15]  Mark E. Stickel,et al.  A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation , 1991, Annals of Mathematics and Artificial Intelligence.

[16]  Stephen Muggleton,et al.  Inverse entailment and progol , 1995, New Generation Computing.

[17]  Peter A. Flach,et al.  Abduction and Induction , 2000 .

[18]  Oliver Ray,et al.  11th International Workshop on Non-monotonic Reasoning , 2006 .

[19]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[20]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[21]  Peter A. Flach,et al.  Using abduction for induction of normal logic programs , 2006 .

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

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

[24]  Stephen Muggleton,et al.  Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes , 2001, Electron. Trans. Artif. Intell..

[25]  Alejandro Ramírez Figueroa.  Abductive Reasoning. Logical Investigations into Discovery and Explanation , 2009 .

[26]  Oliver Ray,et al.  Hybrid abductive inductive learning , 2005 .

[27]  M. Genesereth,et al.  RESIDUE: a deductive approach to design synthesis , 1985 .

[28]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

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

[30]  Christopher H. Bryant,et al.  Functional genomic hypothesis generation and experimentation by a robot scientist , 2004, Nature.

[31]  Jon Williamson,et al.  Abduction, Reason, and Science: Processes of Discovery and Explanation , 2003 .

[32]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[33]  Oliver Ray,et al.  ProLogICA : a practical system for Abductive Logic Programming , 2006 .