Bounding the cost of learned rules

Abstract In this article we approach one key aspect of the utility problem in explanation-based learning (EBL)—the expensive-rule problem —as an avoidable defect in the learning procedure. In particular, we examine the relationship between the cost of solving a problem without learning versus the cost of using a learned rule to provide the same solution, and refer to a learned rule as expensive if its use is more costly than the original problem solving from which it was learned. The key idea we explore is that expensiveness is inadvertently and unnecessarily introduced into learned rules by the learning algorithms themselves . This becomes a particularly powerful idea when combined with an analysis tool which identifies these hidden sources of expensiveness, and modifications of the learning algorithms which eliminate them. The result is learning algorithms for which the cost of learned rules is bounded by the cost of the problem solving that they replace.

[1]  John E. Laird,et al.  Overgeneralization during knowledge compilation in Soar , 1993 .

[2]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[3]  Jihie Kim,et al.  Constraining Learning with Search Control , 1993, ICML.

[4]  S. Paul,et al.  Mapping Explanation-Based Learningonto Soar : The SequelJihie , 1995 .

[5]  John E. Laird,et al.  The soar papers : research on integrated intelligence , 1993 .

[6]  Russell Greiner,et al.  A Statistical Approach to Solving the EBL Utility Problem , 1992, AAAI.

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

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

[9]  Jihie Kim,et al.  Learning Efficient Rules by Maintaining the Explanation Structure , 1996, AAAI/IAAI, Vol. 1.

[10]  Paul O'Rorke,et al.  Explanation-Based Learning for Diagnosis , 1993 .

[11]  Scott W. Bennett,et al.  A Domain Independent Explanation-Based Generalizer. Revision , 1986 .

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

[13]  Charles Elkan,et al.  A High-Performance Explanation-Based Learning Algorithm , 1994, Artif. Intell..

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

[15]  Allen Newell,et al.  A Preliminary Analysis of the Soar Architecture as a Basis for General Intelligence , 1991, Artif. Intell..

[16]  Allen Newell,et al.  Soar/PSM-E: investigating match parallelism in a learning production sytsem , 1988, PPoPP 1988.

[17]  Milind Tambe,et al.  Intelligent Agents for Interactive Simulation Environments , 1995, AI Mag..

[18]  David J. Mostow,et al.  Machine Transformation of Advice Into a Heuristic Search Procedure , 1983 .

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

[20]  S. Kambhampati,et al.  Learning Explanation-Based Search Control Rules for Partial Order Planning , 1994, AAAI.

[21]  Ho Soo Lee,et al.  Match Algorithms for Generalized Rete Networks , 1992, Artif. Intell..

[22]  A. Luchins Mechanization in problem solving: The effect of Einstellung. , 1942 .

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

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

[25]  Devika Subramanian,et al.  The Utility of EBL in Recursive Domain Theories , 1990, AAAI.

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

[27]  Jihie Kim Bounding the Cost of Learned Rules: A Transformational Approach , 1996, AAAI/IAAI, Vol. 2.

[28]  Shaul Markovitch,et al.  Information filtering: Selection mechanisms in learning systems , 1993, Mach. Learn..

[29]  Rina Dechter,et al.  Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition , 1990, Artif. Intell..

[30]  Milind Tambe,et al.  Investigating Production System Representations for Non-Combinatorial Match , 1994, Artif. Intell..

[31]  David E. Smith,et al.  Ordering Conjunctive Queries , 1985, Artif. Intell..

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

[33]  Norbert Theuretzbacher,et al.  The Challenge of Real-Time Process Control for Production Systems , 1988, AAAI.

[34]  Jude W. Shavlik,et al.  Acquiring recursive and iterative concepts with explanation-based learning , 2004, Machine Learning.

[35]  Milind Tambe,et al.  On the Masking Effect , 1993, AAAI.

[36]  Oren Etzioni,et al.  Why PRODIGY/EBL Works , 1990, AAAI.

[37]  A. Newell,et al.  The Problem of Expensive Chunks and its Solution by Restricting Expressiveness , 1990 .

[38]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[39]  Robert B. Doorenbos Matching 100, 000 Learned Rules , 1993, AAAI.

[40]  Robert B. Doorenbos Combining Left and Right Unlinking for Matching a Large Number of Learned Rules , 1994, AAAI.

[41]  Richard M. Keller,et al.  Learning by Re-Expressing Concepts for Efficient Recognition , 1983, AAAI.

[42]  Russell Greiner,et al.  Finding Optimal Derivation Strategies in Redundant Knowledge Bases , 1991, Artif. Intell..

[43]  Henrik Boström,et al.  Improving Example-Guided Unfolding , 1993, ECML.

[44]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .