Definition
Abduction is a form of reasoning, sometimes described as “deduction in reverse,” whereby given a rule that “A follows from B” and the observed result of “A” we infer the condition “B” of the rule. More generally, given a theory, T, modeling a domain of interest and an observation, “A, ” we infer a hypothesis “B” such that the observation follows deductively from T augmented with “B. ” We think of “B” as a possible explanation for the observation according to the given theory that contains our rule. This new information and its consequences (or ramifications) according to the given theory can be considered as the result of a (or part of a) learning process based on the given theory and driven by the observations that are explained by abduction. Abduction can be combined with induction in different ways to enhance this learning process.
Motivation and Background
Abduction is, along with induction, a syntheticform of reasoning whereby it generates, in its explanations, new...
Recommended Reading
Ade, H., & Denecker, M. (1995). AILP: Abductive inductive logic programming. In C. S. Mellish (Ed.), IJCAI (pp. 1201–1209). San Francisco: Morgan Kaufmann.
Ade, H., Malfait, B., & Raedt, L. D. (1994). Ruth: An ILP theory revision system. In ISMIS94. Berlin: Springer.
Alrajeh, D., Ray, O., Russo, A., & Uchitel, S. (2009). Using abduction and induction for operational requirements elaboration. Journal of Applied Logic, 7(3), 275–288.
DeJong, G., & Mooney, R. (1986). Explanation-based learning: An alternate view. Machine Learning, 1, 145–176.
Doncescu, A., Inoue, K., & Yamamoto, Y. (2007). Knowledge based discovery in systems biology using cf-induction. In H. G. Okuno & M. Ali (Eds.), IEA/AIE (pp. 395–404). Heidelberg: Springer.
Flach, P., & Kakas, A. (2000). Abductive and inductive reasoning: Background and issues. In P. A. Flach & A. C. Kakas (Eds.), Abductive and inductive reasoning. Pure and applied logic. Dordrecht: Kluwer.
Flach, P. A., & Kakas, A. C. (Eds.). (2009). Abduction and induction in artificial intelligence [Special issue]. Journal of Applied Logic, 7(3).
Inoue, K. (2001). Inverse entailment for full clausal theories. In LICS-2001 workshop on logic and learning.
Ito, K., & Yamamoto, A. (1998). Finding hypotheses from examples by computing the least generlisation of bottom clauses. In Proceedings of discovery science ’98 (pp. 303–314). Berlin: Springer.
Josephson, J., & Josephson, S. (Eds.). (1994). Abductive inference: Computation, philosophy, technology. New York: Cambridge University Press.
Kakas, A., Kowalski, R., & Toni, F. (1992). Abductive logic programming. Journal of Logic and Computation, 2(6), 719–770.
Kakas, A., & Riguzzi, F. (2000). Abductive concept learning. New Generation Computing, 18, 243–294.
King, R., Whelan, K., Jones, F., Reiser, P., Bryant, C., Muggleton, S., et al. (2004). Functional genomic hypothesis generation and experimentation by a robot scientist. Nature, 427, 247–252.
Leake, D. (1995). Abduction, experience and goals: A model for everyday abductive explanation. The Journal of Experimental and Theoretical Artificial Intelligence, 7, 407–428.
Michalski, R. S. (1993). Inferential theory of learning as a conceptual basis for multistrategy learning. Machine Learning, 11, 111–151.
Moyle, S. (2002). Using theory completion to learn a robot navigation control program. In Proceedings of the 12th international conference on inductive logic programming (pp. 182–197). Berlin: Springer.
Moyle, S. A. (2000). An investigation into theory completion techniques in inductive logic programming. PhD thesis, Oxford University Computing Laboratory, University of Oxford.
Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13, 245–286.
Muggleton, S., & Bryant, C. (2000). Theory completion using inverse entailment. In Proceedings of the tenth international workshop on inductive logic programming (ILP-00) (pp. 130–146). Berlin: Springer.
Ourston, D., & Mooney, R. J. (1994). Theory refinement combining analytical and empirical methods. Artificial Intelligence, 66, 311–344.
Papatheodorou, I., Kakas, A., & Sergot, M. (2005). Inference of gene relations from microarray data by abduction. In Proceedings of the eighth international conference on logic programming and non-monotonic reasoning (LPNMR’05) (Vol. 3662, pp. 389–393). Berlin: Springer.
Ray, O. (2009). Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3), 329–340.
Ray, O., Antoniades, A., Kakas, A., & Demetriades, I. (2006). Abductive logic programming in the clinical management of HIV/AIDS. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.), Proceedings of the 17th European conference on artificial intelligence. Frontiers in artificial intelligence and applications (Vol. 141, pp. 437–441). Amsterdam: IOS Press.
Ray, O., Broda, K., & Russo, A. (2003). Hybrid abductive inductive learning: A generalisation of Progol. In Proceedings of the 13th international conference on inductive logic programming. Lecture notes in artificial intelligence (Vol. 2835, pp. 311–328). Berlin: Springer.
Ray, O., & Bryant, C. (2008). Inferring the function of genes from synthetic lethal mutations. In Proceedings of the second international conference on complex, intelligent and software intensive systems (pp. 667–671). Washington, DC: IEEE Computer Society.
Ray, O., Flach, P. A., & Kakas, A. C. (Eds.). (2009). Abduction and induction in artificial intelligence. Proceedings of IJCAI 2009 workshop.
Reggia, J. (1983). Diagnostic experts systems based on a set-covering model. International Journal of Man-Machine Studies, 19(5), 437–460.
Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., & Muggleton, S. (2006). Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning, 64(1–3), 209–230.
Tamaddoni-Nezhad, A., Kakas, A., Muggleton, S., & Pazos, F. (2004). Modelling inhibition in metabolic pathways through abduction and induction. In Proceedings of the 14th international conference on inductive logic programming (pp. 305–322). Berlin: Springer.
Yamamoto, A. (1997). Which hypotheses can be found with inverse entailment? In Proceedings of the seventh international workshop on inductive logic programming. Lecture notes in artificial intelligence (Vol. 1297, pp. 296–308). Berlin: Springer.
Zupan, B., Bratko, I., Demsar, J., Juvan, P., Halter, J., Kuspa, A., et al. (2003). Genepath: A system for automated construction of genetic networks from mutant data. Bioinformatics, 19(3), 383–389.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this entry
Cite this entry
Kakas, A.C. (2011). Abduction. In: Sammut, C., Webb, G.I. (eds) Encyclopedia of Machine Learning. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-30164-8_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-30164-8_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-30768-8
Online ISBN: 978-0-387-30164-8
eBook Packages: Computer ScienceReference Module Computer Science and Engineering