Summary. 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–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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Magnani, L.: Abduction, Reason, and Science. Processes of Discovery and Expla-nation. Kluwer (2001)
Aliseda, A.: Abductive Reasoning: Logical Investigations into Discovery and Explanation. Volume 230 of Synthese Library. Springer (2006)
Gabbay, D., Woods, J.: The reach of abduction: Insight and trial. Elsevier (2005)
Flach, P., Kakas, A., eds.: Abduction and Induction: essays on their relation and integration. Volume 18 of Applied Logic Series. Kluwer (2000)
Josephson, J., (Eds.), S.J.: Abductive inference: computation, philosophy, tech-nology. Cambridge University Press (1994)
King, R., Whelan, K., Jones, F., Reiser, P., Bryant, C., Muggleton, S., Kell, D., Oliver, S.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427 (2004) 247-252
Kakas, A., Kowalski, R., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6) (1992) 719-770
Hartshorne, C., Weiss, P., Burks, A., eds.: Collected papers of Charles Sanders Peirce. Harvard University Press (1931-1958)
King, R., Benway, M.: Robot Scientist: an Autonomous Platform for Systems Biology Discovery. A poster at the 12th Annual Conference and Exhibition of the Society for Biomolecular Sciences (2006)
Bryant, C., Muggleton, S., Oliver, S., Kell, D., Reiser, P., King, R.: Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electronic Transactions on Artificial Intelligence 5 (Section B) (2001) 1-36
Muggleton, S., Bryant, C.: Theory Completion Using Inverse Entailment. In: Proceedings of the 10th International Conference on Inductive Logic Program-ming. Volume 1866 of Lecture Notes in Computer Science. Springer Verlag (2000)130-146
Stickel, M.: A Prolog technology theorem prover: A New Exposition and Imple-mentation in Prolog. Theoretical Computer Science 104 (1992) 109-128
Ray, O.: Hybrid Abductive-Inductive Learning. PhD thesis, Department of Computing, Imperial College London, UK (2005)
Lloyd, J.: Foundations of Logic Programming. Springer Verlag (1987)
Muggleton, S.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming 13(3-4) (1995) 245-286
Jr., H.P.: On The Mechanization of Abductive Logic. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, William Kaufmann (1973) 147-152
Finger, J., Genesereth, M.: Residue: a deductive approach to design synthesis. Technical Report STAN-CS-85-1035, Stanford University, USA (1985)
Stickel, M.: A Prolog-like inference system for computing minimum-cost abduc-tive explanations in natural-language interpretation. Annals of Mathematics and Artificial Intelligence 4 (1991) 89-106
Morgan, C.: Hypothesis generation by machine. Artificial Intelligence 2(2) (1971) 179-187
Cox, P., Pietrzykowski, T.: Causes for Events: Their computation and Appli-cation. In Siekmann, J., ed.: Proceedings of the 8th International Conference on Automated Deduction. Volume 230 of Lecture Notes in Computer Science., Springer (1986) 608-621
Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence 56(2-3) (1992) 301-353
Kakas, A., Mancarella, P.: Database Updates through Abduction. In: Pro-ceedings of the 16th International Conference on Very Large Databases, Morgan Kaufmann (1990) 650-661
Robinson, J.: A Machine-Oriented Logic based on the Resolution Principle. Journal of the ACM 12(1) (1965) 23-41
Ray, O., Kakas, A.: Prologica: a practical system for abductive logic program-ming. In: Dix, J., Hunter, A., eds.: 11th International Workshop on Non-monotonic Reasoning. IFL Technical Report Series, Clausthal University of Technology (2006) 304-312
Jacob, F., Monod, J.: Genetic regulatory mechanisms in the synthesis of pro-teins. Journal of Molecular Biology 3 (1961) 318-356
Ray, O., Broda, K., Russo, A.: Hybrid Abductive Inductive Learning: a Gen-eralisation of Progol. In: Horváth, T., Yamamoto, A., eds.: Proceedings of the 13th International Conference on Inductive Logic Programming. Volume 2835 of Lecture Notes in Artificial Intelligence., Springer Verlag (2003) 311-328
Ray, O.: The need for Ancestor Resolution when answering queries in Horn clause logic. In: Gabbrielli, M., Gupta, G., eds.: Proceedings of the 21st Inter-national Conference on Logic Programming. Volume 3668 of Lecture Notes in Computer Science., Springer Verlag (2005) 410-411
Ray, O.: Using abduction for induction of normal logic programs. In: Proceedings of the ECAI’06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling. (2006) 28-31
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ray, O. (2007). Automated Abduction in Scientific Discovery. In: Magnani, L., Li, P. (eds) Model-Based Reasoning in Science, Technology, and Medicine. Studies in Computational Intelligence, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71986-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-71986-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71985-4
Online ISBN: 978-3-540-71986-1
eBook Packages: EngineeringEngineering (R0)