AI Planning: Systems and Techniques

This article reviews research in the development of plan generation systems. Our goal is to familiarize the reader with some of the important problems that have arisen in the design of planning systems and to discuss some of the many solutions that have been developed in the over 30 years of research in this area. In this article, we broadly cover the major ideas in the field of AI planning and show the direction in which some current research is going. We define some of the terms commonly used in the planning literature, describe some of the basic issues coming from the design of planning systems, and survey results in the area. Because such tasks are virtually never ending, and thus, any finite document must be incomplete, we provide references to connect each idea to the appropriate literature and allow readers access to the work most relevant to their own research or applications.

[1]  Patrick J. Hayes,et al.  A Representation For Robot Plans , 1975, IJCAI.

[2]  Melville C. Branch,et al.  Planning and Operations Research , 1957 .

[3]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[4]  Earl D. Sacerdoti,et al.  Problem Solving Tactics , 1979, AI Mag..

[5]  David P. Miller,et al.  Deadlines, Travel Time, and Robot Problem Solving , 1985, IJCAI.

[6]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[7]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[8]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

[9]  Reid G. Smith,et al.  The Contract Net: A Formalism for the Control of Distributed Problem Solving , 1977, IJCAI.

[10]  Sam Steel,et al.  Integrating Planning, Execution and Monitoring , 1988, AAAI.

[11]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

[12]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[13]  Philip London,et al.  A dependency-based modelling mechanism for problem solving , 1978, AFIPS National Computer Conference.

[14]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[15]  David Chapman.  Nonlinear Planning: A Rigorous Reconstruction , 1985, IJCAI.

[16]  Victor R. Lesser,et al.  The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network , 1983, IJCAI.

[17]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[18]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[19]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[20]  Eric Horvitz,et al.  The Compilation of Decision Models , 2013, UAI 1989.

[21]  Kurt Konolige.  A Deductive Model of Belief , 1983, IJCAI.

[22]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[23]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[24]  Richard C. Waters,et al.  Overview of the Programmer's Apprentice , 1979, IJCAI.

[25]  J. Doran,et al.  Experiments with the Graph Traverser program , 1966, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[26]  Mark S. Fox,et al.  Representation of Activity Knowledge for Project Management , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[27]  Steven Minton,et al.  Selectively Generalizing Plans for Problem-Solving , 1985, IJCAI.

[28]  Austin Tate,et al.  O-Plan: control in the open planning architecture , 1986 .

[29]  Mark S. Boddy,et al.  Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.

[30]  William A. Kornfeld.  ETHER - A Parallel Problem Solving System , 1979, IJCAI.

[31]  Thomas L. Dean,et al.  A Model for Projection and Action , 1989, IJCAI.

[32]  Marc Eisenstadt,et al.  Artificial intelligence: Tools, techniques, and applications , 1984 .

[33]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[34]  John W. Roach,et al.  Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions , 1973, IJCAI.

[35]  David C. Luckham,et al.  Automatic generation of programs containing conditional statements , 1974 .

[36]  Amy L. Lansky,et al.  A Procedural Logic , 1985, IJCAI.

[37]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[38]  Mark Drummond,et al.  Exploiting temporal coherence in nonlinear plan construction , 1988, Comput. Intell..

[39]  Alberta Maria Segre,et al.  Machine Learning of Robot Assembly Plans , 1988 .

[40]  Michael P. Georgeff,et al.  Communication and interaction in multi-agent planning , 1983, AAAI 1983.

[41]  David P. Miller,et al.  Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..

[42]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[43]  Leslie Pack Kaelbling,et al.  Goals as Parallel Program Specifications , 1988, AAAI.

[44]  Brian Drabble.  Planning and reasoning with processes , 1990, Expert Planning Systems.

[45]  Jeffrey S. Rosenschein,et al.  Synchronization of Multi-Agent Plans , 1982, AAAI.

[46]  Alex M. Andrew,et al.  Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, edited by Michael P. Georgeff and Amy L. Lansky Morgan Kaufmann, Los Altos, California, vi + 425 pp. (£24.95) , 1988, Robotica (Cambridge. Print).

[47]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[48]  D. McDermott,et al.  An introduction to nonmonotonic logic , 1979, IJCAI 1979.

[49]  Philip E. Agre,et al.  ABSTRACT REASONING AS EMERGENT FROM CONCRETE ACTIVITY , 1987 .

[50]  James A. Hendler,et al.  Planning for multiple goals with limited interactions , 1989, [1989] Proceedings. The Fifth Conference on Artificial Intelligence Applications.

[51]  Stanley J. Rosenschein,et al.  Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[52]  Charles Rich.  A Formal Representation For Plans In The Programmer's Apprentice , 1982, On Conceptual Modelling.

[53]  Daniel D. Corkill,et al.  Hierarchical Planning in a Distributed Environment , 1979, IJCAI.

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

[55]  Nachum Dershowitz,et al.  Synthetic Programming , 1985, Artificial Intelligence.

[56]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[57]  Alan Sobel,et al.  Decision-Making in Time-Critical Situations , 1983, IJCAI.

[58]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[59]  Jean-Claude Latombe,et al.  An Approach to Automatic Robot Programming Based on Inductive Learning , 1984 .

[60]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[61]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[62]  David E. Wilkins,et al.  An Interactive Planning System. , 1981 .

[63]  Marc B. Vilain,et al.  A System for Reasoning About Time , 1982, AAAI.

[64]  James Alexander Hendler,et al.  integrating Marker Passing and Problem Solving: A Spreading Activation Approach To Improved Choice in Planning , 1987 .

[65]  Gerald Jay Sussman,et al.  Why Conniving is Better than Planning , 1972 .

[66]  Gary G. Hendrix,et al.  Modeling Simultaneous Actions and Continuous Processes , 1989, Artif. Intell..

[67]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[68]  Austin Tate,et al.  Interacting Goals And Their Use , 1975, IJCAI.

[69]  Mark Drummond,et al.  Situated Control Rules , 1989, KR.

[70]  S. Jiaoying,et al.  Artificial intelligence in computer aided design , 1987 .

[71]  Eric Horvitz,et al.  Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study , 1989, IJCAI.

[72]  Kristian J. Hammond,et al.  CHEF: A Model of Case-Based Planning , 1986, AAAI.

[73]  Kurt Konolige,et al.  Multiple-Agent Planning Systems , 1980, AAAI.

[74]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[75]  Thomas Dean,et al.  INTRACTABILITY AND TIME-DEPENDENT PLANNING , 1987 .

[76]  Robert Wilensky,et al.  A model for planning in complex situations , 1981 .

[77]  Thomas Dean,et al.  Temporal Reasoning Involving Counterfactuals and Disjunctions , 1985, IJCAI.

[78]  David Warren,et al.  Warplan: a system for generating plans , 1974 .

[79]  David E. Wilkins,et al.  Representation in a Domain-Independent Planner , 1983, IJCAI.

[80]  Eric Horvitz,et al.  Reasoning under Varying and Uncertain Resource Constraints , 1988, AAAI.

[81]  Douglas E. Appelt,et al.  Planning English Referring Expressions , 1985, Artif. Intell..

[82]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[83]  Leslie Pack Kaelbling,et al.  An Architecture for Intelligent Reactive Systems , 1987 .

[84]  Jack Mostow,et al.  A Problem-Solver for Making Advice Operational , 1983, AAAI.

[85]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[86]  J. L. Bresina,et al.  Knowledge structures for planning in realistic domains , 1985 .

[87]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[88]  Laurent Siklóssy,et al.  An Efficient Robot Planner which Generates Its Own Procedures , 1973, IJCAI.

[89]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[90]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[91]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[92]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[93]  Mark S. Boddy,et al.  Solving Time-Dependent Planning Problems , 1989, IJCAI.

[94]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..

[95]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[96]  David Atkinson,et al.  Generating Perception Requests and Expectations to Verify the Execution of Plans , 1986, AAAI.

[97]  Richard Fikes.  A Commitment-Based Framework for Describing Informal Cooperative Work , 1982, Cogn. Sci..

[98]  Robert Wilensky,et al.  Meta-Planning: Representing and Using Knowledge About Planning in Problem Solving and Natural Language Understanding , 1981, Cogn. Sci..

[99]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[100]  Richard Alterman,et al.  Adaptive Planning , 1988, Cogn. Sci..

[101]  Subbarao Kambhampati,et al.  Flexible reuse of plans via annotation and verification , 1989, [1989] Proceedings. The Fifth Conference on Artificial Intelligence Applications.

[102]  James A. Hendler,et al.  Flexible reuse and modification in hierarchical planning: a validation structure-based approach , 1989 .

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

[104]  Nils J. Nilsson,et al.  Some New Directions in Robot Problem Solving , 1972 .

[105]  A. Lansky.  A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , 1987 .

[106]  K. Konolige.  A deduction model of belief , 1986 .

[107]  AMY L. LANSKY,et al.  Localized event‐based reasoning for multiagent domain 1 , 1988, Comput. Intell..

[108]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[109]  Mark Drummond.  Refining and Extending the Procedural Net , 1985, IJCAI.

[110]  Douglas B. Lenat,et al.  BEINGS: Knowledge as Interacting Experts , 1975, IJCAI.

[111]  Mark Drummond,et al.  Goal Ordering in Partially Ordered Plans , 1989, IJCAI.

[112]  Robert Wilensky,et al.  Understanding Goal-Based Stories , 1978, Outstanding Dissertations in the Computer Sciences.

[113]  Richard Fikes,et al.  REF-ARF: A System for Solving Problems Stated as Procedures , 1970, Artif. Intell..

[114]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[115]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .