Recent developments have clarified the process of generating partially ordered, partially specified sequences of actions whose execution will achive an agent's goal. This paper summarizes a progression of least commitment planners, starting with one that handles the simple strips representation, and ending with one that manages actions with disjunctive precondition, conditional effects and universal quantification over dynamic universes. Along the way we explain how Chapman's formulation of the Modal Truth Criterion is misleading and why his NP-completeness result for reasoning about plans with conditional effects does not apply to our planner.
|
6121
|
Introduction to Algorithms
– Cormen, Leiserson, et al.
- 2001
|
|
1385
|
STRIPS: A new approach to the application of Theorem Proving to Problem Solving
– Fikes, Nilsson
- 1971
|
|
1163
|
A logic for default reasoning
– Reiter
- 1980
|
|
603
|
Agent-oriented programming
– Shoham
- 1993
|
|
575
|
SOAR: An Architecture for General Intelligence
– Laird, Newell, et al.
|
|
567
|
Planning for conjunctive goals
– Chapman
- 1987
|
|
449
|
Principles of Artificial Intelligence
– Nilsson
- 1980
|
|
376
|
UCPOP: A sound, complete, partial order planner for adl
– Penberthy, Weld
- 1992
|
|
353
|
Systematic nonlinear planning
– McAllester, Rosenblitt
- 1991
|
|
338
|
Generating project networks
– Tate
- 1977
|
|
295
|
Universal plans for reactive robots in unpredictable environments
– Schoppers
- 1987
|
|
287
|
O-Plan: the Open Planning Architecture
– Currie, Tate
- 1991
|
|
271
|
Quantitative Results Concerning the Utility of Explanation-based Learning
– Minton
- 1990
|
|
233
|
ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus
– Pednault
- 1989
|
|
224
|
An algorithm for probabilistic planning
– Kushmerick, Hanks, et al.
- 1995
|
|
211
|
Introduction to Artificial Intelligence
– CHARNIAK, MCDERMOTT
- 1985
|
|
187
|
Probabilistic planning with information gathering and contingent execution
– Draper, Hanks, et al.
- 1994
|
|
186
|
Conditional non-linear planning
– Peot, Smith
- 1992
|
|
175
|
An Approach to Planning with Incomplete Information
– Etzioni, Hanks, et al.
- 1992
|
|
174
|
The nonlinear nature of plans
– Sacerdoti
- 1975
|
|
170
|
Gps: a program that simulates human thought
– Newell, Simon
- 1963
|
|
165
|
Logical Foundations of Artificial Intelligence
– Genesereth, Nilsson
- 1987
|
|
141
|
Explanationbased learning: A problem-solving perspective
– Minton, Carbonell, et al.
- 1989
|
|
136
|
Integrating planning, execution and monitoring
– Ambros-Ingerson, Steel
- 1988
|
|
130
|
Learning by Analogical Reasoning in General Problem Solving
– Veloso
- 1992
|
|
113
|
The uses of plans
– Pollack
- 1992
|
|
112
|
Complexity results for planning
– Bylander
- 1991
|
|
100
|
Achieving several goals simultaneously
– Waldinger
- 1977
|
|
92
|
Synthesizing plans that contain actions with context-dependent effects. Computational Intelligence 4:356–372
– Pednault
- 1988
|
|
92
|
Derivational analogy in PRODIGY: Automating case acquisition, storage and utilisation
– Veloso, Carbonell
- 1993
|
|
90
|
Explaining and repairing plans that fail
– Hammond
- 1990
|
|
87
|
Temporal planning with continuous change
– Penberthy, Weld
- 1994
|
|
85
|
Situation control rules
– Drummond
- 1989
|
|
83
|
Acquiring search-control knowledge via static analysis
– Etzioni
- 1993
|
|
82
|
Partial order planning: Evaluating possible efficiency gains
– Barrett, Weld
- 1994
|
|
75
|
Learning abstraction hierarchies for problem solving
– Knoblock
- 1990
|
|
73
|
Goals as parallel program specifications
– Kaelbling
- 1988
|
|
66
|
Practical Planning
– Wilkins
- 1988
|
|
56
|
Representations for Decision-Theoretic Planning: Utility Functions for dead-line goals
– Haddawy, Hanks
- 1992
|
|
54
|
Generating Conditional Plans and Programs
– Warren
- 1976
|
|
54
|
Can AI planners solve practical problems
– Wilkins
- 1990
|
|
53
|
Formalizing planning knowledge for hierarchical planning
– Yang
- 1990
|
|
51
|
A theory of debugging plans and interpretations
– Simmons
- 1988
|
|
50
|
Optimal planning with a goal-directed utility model
– Williamson, Hanks
- 1994
|
|
49
|
A structural theory of explanation-based learning
– Etzioni
- 1993
|
|
49
|
A Validation Structure Based Theory of Plan Modification and Reuse
– Kambhampati, Hendler
- 1992
|
|
46
|
Regression planning
– McDermott
- 1991
|
|
45
|
Postponing threats in partialorder planning
– Smith, Peot
- 1993
|
|
44
|
Localized Event-Based Reasoning for Multiagent Domains
– Lansky
- 1988
|
|
43
|
Practical temporal projection
– Hanks
- 1990
|