Abduction in machine learning

Both inductive learning and abductive reasoning start from specific facts or observations and produce some explanation of these facts. Both may be described as forms of defeasible reasoning from effects to causes. There are some differences, but they are minor and due to different understandings of the notions of observation and explanation (see for instance [Bergadano and Besnark, 1994]). We build on the general notions developed in the introductory Chapter, taking what was labeled there as the syllogistic view, in the sense that we isolate the differences between abduction and induction based on syntactic considerations.

[1]  Elaine J. Weyuker,et al.  Assessing Test Data Adequacy through Program Inference , 2019, TOPL.

[2]  Michael J. Pazzani,et al.  A Knowledge-intensive Approach to Learning Relational Concepts , 1991, ML.

[3]  Luc De Raedt,et al.  Applications of a Logical Discovery Engine , 1994, KDD Workshop.

[4]  Vincenzo Cutello,et al.  Probably approximately correct learning in fuzzy classification systems , 1995, IEEE Trans. Fuzzy Syst..

[5]  J. R. Quinlan Learning Logical Definitions from Relations , 1990 .

[6]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[7]  Francesco Bergadano,et al.  Deduction in Top-Down Inductive Learning , 1989, ML.

[8]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[9]  Francesco Bergadano,et al.  Testing by means of inductive program learning , 1996, TSEM.

[10]  Francesco Bergadano,et al.  An Interactive System to Learn Functional Logic Programs , 1993, IJCAI.

[11]  Luc De Raedt,et al.  CLINT : a multi-strategy interactive concept-learner and theory revision system , 1991 .

[12]  J. Davenport Editor , 1960 .

[13]  Didier Dubois,et al.  Fuzzy sets and systems ' . Theory and applications , 2007 .

[14]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[15]  Francesco Bergadano,et al.  Inductive Logic Programming: From Machine Learning to Software Engineering , 1995 .

[16]  Thomas Ellman,et al.  Explanation-based learning: a survey of programs and perspectives , 1989, CSUR.

[17]  William W. Cohen Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem , 1992, Machine Learning.

[18]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[19]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[20]  A. Jefferson Offutt,et al.  Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..

[21]  Léa Sombé Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example , 1990, Int. J. Intell. Syst..

[22]  Vincenzo Cutello,et al.  Learning Membership Functions , 1993, ECSQARU.

[23]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

[24]  K. N. King,et al.  A fortran language system for mutation‐based software testing , 1991, Softw. Pract. Exp..

[25]  Leslie G. Valiant,et al.  Computational limitations on learning from examples , 1988, JACM.

[26]  Tom Michael Mitchell,et al.  Explanation-based generalization: A unifying view , 1986 .

[27]  Francesco Bergadano,et al.  A Knowledge Intensive Approach to Concept Induction , 1988, ML Workshop.