CaMeL: Learning Method Preconditions for HTN Planning

A great challenge in using any planning system to solve real-world problems is the difficulty of acquiring the domain knowledge that the system will need. We present away to address part of this problem, in the context of Hierarchical Task Network (HTN) planning, by having the planning system incrementally learn conditions for HTN methods under expert supervision. We present a general formal framework for learning HTN methods, and a supervised learning algorithm, named CaMeL, based on this formalism. We present theoretical results about CaMeL's soundness, completeness, and convergence properties. We also report experimental results about its speed of convergence under different conditions. The experimental results suggest that CaMeL has the potential to be useful in real-world applications.

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

[2]  Jaime G. Carbonell,et al.  Derivational Analogy in PRODIGY: Automating Case Acquisition, Storage, and Utilization , 1993, Machine Learning.

[3]  Yolanda Gil.  Learning New Planning Operators by Exploration and , 1993 .

[4]  Mich Ele Sebag,et al.  Nd Order Understandability of Disjunctive Version Spaces , 1995 .

[5]  Stefan Wess,et al.  Case-Based Reasoning Technology: From Foundations to Applications , 1998, Lecture Notes in Computer Science.

[6]  Leonard Pitt,et al.  Version Spaces without Boundary Sets , 1997, AAAI/IAAI.

[7]  Tom M. Mitchell,et al.  LEAP: A Learning Apprentice for VLSI Design , 1985, IJCAI.

[8]  Eugene Fink,et al.  Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..

[9]  Kathy Ryall,et al.  Learning hierarchical task models by defining and refining examples , 2001, K-CAP '01.

[10]  Tara A. Estlin,et al.  Using multi-strategy learning techniques to improve planning efficiency and quality , 1998 .

[11]  Haym Hirsh,et al.  Generalizing Version Spaces , 1994, Machine Learning.

[12]  Yolanda Gil,et al.  Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains , 1994, International Conference on Machine Learning.

[13]  Allen Newell,et al.  Chunking in Soar: The anatomy of a general learning mechanism , 1985, Machine Learning.

[14]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[15]  Hector Muñoz-Avila,et al.  Case-Based Planning: Selected Methods and Systems , 1996, AI Commun..

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

[17]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[18]  David W. Aha,et al.  Refining Conversational Case Libraries , 1997, ICCBR.

[19]  Tom M. Mitchell,et al.  Learning from Solution Paths: An Approach to the Credit Assignment Problem , 1982, AI Mag..

[20]  Ingrid Zukerman,et al.  Inductive Learning of Search Control Rules for Planning , 1998, Artif. Intell..

[21]  Tara A Estlin,et al.  Using Multi-Strategy Learning to Improve Planning Efficiency and Quality , 1998 .

[22]  Kirk S Lambert.  Noncombatant Evacuation Operations -- Plan Now or Pay Later , 1992 .

[23]  Marie desJardins,et al.  Evaluation and selection of biases in machine learning , 1995, Machine Learning.

[24]  Yolanda Gil,et al.  Acquiring domain knowledge for planning by experimentation , 1992 .

[25]  David E. Wilkins,et al.  Can AI planners solve practical problems? , 1990, Comput. Intell..

[26]  Tara A. Estlin,et al.  Learning to Improve both Efficiency and Quality of Planning , 1997, IJCAI.

[27]  Hector Muñoz-Avila,et al.  SHOP: Simple Hierarchical Ordered Planner , 1999, IJCAI.

[28]  David W. Aha,et al.  Using Guidelines to Constrain Interactive Case-Based HTN Planning , 1999, ICCBR.

[29]  Jaime G. Carbonell,et al.  Learning effective search control knowledge: an explanation-based approach , 1988 .

[30]  Tom M. Mitchell,et al.  Version Spaces: A Candidate Elimination Approach to Rule Learning , 1977, IJCAI.

[31]  Pat Langley,et al.  Elements of Machine Learning , 1995 .

[32]  John E. Laird,et al.  Learning Hierarchical Performance Knowledge by Observation , 1999, ICML.

[33]  Oren Etzioni,et al.  PRODIGY4.0: The Manual and Tutorial , 1992 .

[34]  Oren Etzioni,et al.  A Structural Theory of Explanation-Based Learning , 1993, Artif. Intell..

[35]  Mark T. Keane,et al.  Learning Adaptation Rules from a Case-Base , 1996, EWCBR.

[36]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..