Rationale in planning: causality, dependencies, and decisions

Traditional approaches to plan representation have focused on the generation of a sequence of actions and orderings. Knowledge rich models, which incorporate plan rationale, provide benefits to the planning process in a number of ways. The use of rationale in planning is reviewed in terms of causality, dependencies, and decisions. Each dimension addresses practical issues in the planning process, and adds value to the resultant plan. The contribution of this paper is to explore this categorisation, and to motivate the need to explicitly record and represent rationale knowledge for situated, mixed-initiative planning systems.

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

[2]  Jon Doyle,et al.  Toward Rational Planning and Replanning Rational Reason Maintenance, Reasoning Economies, and Qualitative Preferences , 1996 .

[3]  Austin Tate,et al.  O-Plan: a Knowledge-Based Planner and its Application to Logistics , 1996 .

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

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

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

[7]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[8]  André Valente,et al.  Knowledge-level analysis of planning systems , 1995, SGAR.

[9]  Alice M. Mulvehill.  Building, Remembering, and Revising Force Deployment Plans , 1996 .

[10]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[11]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

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

[13]  Austin Tate,et al.  Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Inititive , 1996 .

[14]  Jintae Lee,et al.  What's in Design Rationale? , 1991, Hum. Comput. Interact..

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

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

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

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

[19]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

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

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

[22]  James F. Allen,et al.  Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning , 1994, AIPS.

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

[24]  Jon Doyle,et al.  A Reasoning Economy for Planning and Replanning , 1994 .

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

[26]  E. Jeffrey Conklin,et al.  A process-oriented approach to design rationale , 1991 .

[27]  V. Richard Benjamins,et al.  Modeling Planning Tasks , 1996, AIPS.

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

[29]  Vasant Dhar,et al.  Representing and maintaining process knowledge for large-scale systems development , 1994, IEEE Expert.

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

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

[32]  Austin Tate,et al.  Synthesizing Protection Monitors from Causal Structure , 1994, AIPS.

[33]  Austin Tate.  Mixed Initiative Interaction in O-Plan , 1997 .

[34]  Mark A. Peot,et al.  Conditional nonlinear planning , 1992 .

[35]  Subbarao Kambhampati,et al.  Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning , 1995, Artif. Intell..

[36]  Austin Tate.  Towards a Plan Ontology , 1996 .

[37]  Gerald Jay Sussman,et al.  The virtuous nature of bugs , 1974 .

[38]  Philip Edwin London,et al.  Dependency networks as a representation for modelling in general problem solvers. , 1978 .

[39]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.

[40]  M. Georgeff.  Actions, Processes, and Causality , 1987 .

[41]  Austin Tate.  Putting knowledge rich plan representations to use , 1993, Machine Intelligence 14.

[42]  Lenhart K. Schubert,et al.  Planning in Complex Worlds via Mixed-Initiative Interaction , 1997 .

[43]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[44]  Thomas P. Moran,et al.  Design Space Analysis: Bridging from Theory to Practice via Design Rationale , 1991 .

[45]  Jintae Lee,et al.  What's in design rationale? , 1991 .

[46]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[47]  William E. Rzepka,et al.  A Case Study of SREM , 1985, Computer.

[48]  Robert P. Goldman,et al.  Epsilon-Safe Planning , 1994, UAI.

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

[50]  Leslie Pack Kaelbling,et al.  Planning With Deadlines in Stochastic Domains , 1993, AAAI.

[51]  Anthony Barrett,et al.  Partial-Order Planning: Evaluating Possible Efficiency Gains , 1994, Artificial Intelligence.

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

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