Integrating ILP and EBL

This paper presents a review of recent work that integrates methods from Inductive Logic Programming (ILP) and Explanation-Based Learning (EBL). ILP and EBL methods have complementary strengths and weaknesses and a number of recent projects have effectively combined them into systems with better performance than either of the individual approaches. In particular, integrated systems have been developed for guiding induction with prior knowledge (ML-Smart, FOCL, GRENDEL) refining imperfect domain theories (FORTE, AUDREY, Rx), and learning effective search-control knowledge (AxA-EBL, DOLPHIN).

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

[2]  James Wogulis.  Revising Relational Domain Theories , 1991, ML.

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

[4]  Pat Langley,et al.  Learning to search : from weak methods to domain-specific heuristics , 1985 .

[5]  William W. Cohen.  Compiling prior knowledge into an explicit basis , 1992, ICML 1992.

[6]  Stephen Muggleton,et al.  Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.

[7]  Oren Etzioni,et al.  STATIC: A Problem-Space Compiler for PRODIGY , 1991, AAAI.

[8]  Gerald DeJong,et al.  Generalizations Based on Explanations , 1981, IJCAI.

[9]  Jack Mostow,et al.  PROLEARN: Towards a Prolog Interpreter that Learns , 1987, AAAI.

[10]  Raymond J. Mooney,et al.  Automated refinement of first-order horn-clause domain theories , 2005, Machine Learning.

[11]  Michael R. Lowry,et al.  Learning Physical Descriptions From Functional Definitions, Examples, and Precedents , 1983, AAAI.

[12]  R. Mooney.  A Preliminary PAC Analysis of Theory Revision , 1995 .

[13]  Ronald L. Rivest,et al.  Inferring Decision Trees Using the Minimum Description Length Principle , 1989, Inf. Comput..

[14]  Thomas G. Dietterich,et al.  A Study of Explanation-Based Methods for , 1989 .

[15]  Ingrid Zukerman,et al.  An Inductive Approach to Learning Search Control Rules for Planning , 1993, IJCAI.

[16]  Luc De Raedt,et al.  An overview of the interactive concept-learner and theory revisor CLINT , 1992 .

[17]  Masamichi Shimura,et al.  Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts , 1992, ML.

[18]  William W. Cohen.  Learning Approximate Control Rules of High Utility , 1990, ML.

[19]  Oren Etzioni,et al.  Explanation-Based Learning: A Problem Solving Perspective , 1989, Artif. Intell..

[20]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[21]  John R. Anderson,et al.  MACHINE LEARNING An Artificial Intelligence Approach , 2009 .

[22]  Jude Shavlik,et al.  Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks , 1990, AAAI.

[23]  Pat Langley,et al.  Learning to Search: From Weak Methods to Domain-Specific Heuristics , 1985, Cogn. Sci..

[24]  Raymond J. Mooney,et al.  First-Order Theory Revision , 1991, ML.

[25]  Gerald DeJong,et al.  COMPOSER: A Probabilistic Solution to the Utility Problem in Speed-Up Learning , 1992, AAAI.

[26]  Michael J. Pazzani,et al.  Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning , 1993, AAAI.

[27]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[28]  John E. Laird,et al.  Mapping Explanation-Based Generalization onto Soar , 1986, AAAI.

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

[30]  J. Rissanen,et al.  Modeling By Shortest Data Description* , 1978, Autom..

[31]  Scott Bennett,et al.  A Domain Independent Explanation-Based Generalizer , 1986, AAAI.

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

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

[34]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[35]  Raymond J. Mooney,et al.  Changing the Rules: A Comprehensive Approach to Theory Refinement , 1990, AAAI.

[36]  Michael J. Pazzani,et al.  A Methodology for Evaluating Theory Revision Systems: Results with Audrey II , 1993, IJCAI.

[37]  Allen Ginsberg,et al.  Theory Reduction, Theory Revision, and Retranslation , 1990, AAAI.

[38]  Tom M. Mitchell,et al.  Learning and Problem Solving , 1983, IJCAI.

[39]  Ivan Bratko,et al.  PROLOG Programming for Artificial Intelligence, Second Edition , 1990 .

[40]  Gerald DeJong.  Investigating Explanation-Based Learning , 1992 .

[41]  Masamichi Shimura,et al.  Learning from an Approximate Theory and Noisy Examples , 1993, AAAI.

[42]  Raymond J. Mooney,et al.  The Effect of Rule Use on the Utility of Explanation-Based Learning , 1989, IJCAI.

[43]  Raymond J. Mooney,et al.  Learning Relations by Pathfinding , 1992, AAAI.

[44]  Raymond J. Mooney,et al.  Learning Semantic Grammars with Constructive Inductive Logic Programming , 1993, AAAI.

[45]  Raymond J. Mooney,et al.  Combining FOIL and EBG to Speed-up Logic Programs , 1993, IJCAI.

[46]  Alan Bundy,et al.  Explanation-Based Generalisation = Partial Evaluation , 1988, Artif. Intell..

[47]  Francesco Bergadano,et al.  Integrated Learning in a Real Domain , 1991, Knowledge Discovery in Databases.

[48]  Kedar Cabelli.  Explanation - based Generalization as resolution theorem proving , 1987 .