Abduction, Induction, and the Logic of Scientific Knowledge DevelopmentPeter Flach, Antonis Kakas, Abduction, Induction, and the Logic of Scientific Knowledge Development. Goedel Centenary 2006. April 2006. PDF, 102 Kbytes. External information
In this paper we describe recent developments in the study of abduction and induction and their role in scientific modelling and knowledge formation. We present a central challenge that is emerging from this study, namely the problem of formulating and characterizing the boundaries of incompleteness for proving the ``reverse truth" that these two forms of reasoning provide. This challenge can have important implications in many fields, from the practice of Artificial intelligence and Machine Learning to scientific theory development in areas such as Systems Biology and Cognitive Science.