Planning and Scheduling

In this chapter, we use the generic term planning to encompass both planning and scheduling problems, and the terms planner or planning system to refer to software for planning or scheduling. Planning is concerned with reasoning about the consequences of acting in order to choose from among a set of possible courses of action. In the simplest case, a planner might enumerate a set of possible courses of action, consider their consequences in turn, and choose one particular course of action that satis es a given set of requirements. Algorithmically, a planning problem has as input a set of possible courses of actions, a predictive model for the underlying dynamics, and a performance measure for evaluating courses of action. The output or solution to a planning problem is one or more courses of action that satisfy the speci ed requirements for performance. Most planning problems are combinatorial in the sense that the number of possible courses of actions or the time required to evaluate a given course of action is exponential in the description of the problem. Just because there is an exponential number of possible courses of action does not imply that a planner has to enumerate them all in order to nd a solution. However, many planning problems can be shown to be NP-hard, and, for these problems, all known exact algorithms take exponential time in the worst case. The computational complexity of planning problems often leads practitioners to consider approximations, computation time versus solution quality tradeo s, and heuristic methods.

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

[2]  E.L. Lawler,et al.  Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey , 1977 .

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

[5]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

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

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

[8]  Edwin P. D. Pednault,et al.  Synthesizing plans that contain actions with context‐dependent effects 1 , 1988, Comput. Intell..

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

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

[11]  Keiji Kanazawa,et al.  A model for reasoning about persistence and causation , 1989 .

[12]  James A. Hendler,et al.  AI Planning: Systems and Techniques , 1990, AI Mag..

[13]  Christer Bäckström,et al.  Parallel Non-Binary Planning in Polynomial Time , 1991, IJCAI.

[14]  Tom Bylander,et al.  Complexity Results for Planning , 1991, IJCAI.

[15]  Dana S. Nau,et al.  Complexity Results for Blocks-World Planning , 1991, AAAI.

[16]  Ross D. Shachter,et al.  Fusion and Propagation with Multiple Observations in Belief Networks , 1991, Artif. Intell..

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

[18]  Michael P. Wellman,et al.  Planning and Control , 1991 .

[19]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[20]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.

[21]  James A. Hendler,et al.  A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..

[22]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[23]  James A. Hendler,et al.  Readings in Planning , 1994 .

[24]  C. Fiechter Eecient Reinforcement Learning , 1994 .

[25]  David A. McAllester,et al.  GSAT and Dynamic Backtracking , 1994, KR.

[26]  Nicholas Kushmerick,et al.  An Algorithm for Probabilistic Planning , 1995, Artif. Intell..

[27]  Subbarao Kambhampati,et al.  A comparative analysis of partial order planning and task reduction planning , 1995, SGAR.

[28]  Witold Lukaszewicz,et al.  Reasoning about Plans , 1997, IJCAI.

[29]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .