• Corpus ID: 5329862

UCPOP: A Sound, Complete, Partial Order Planner for ADL

@inproceedings{Penberthy1992UCPOPAS,
  title={UCPOP: A Sound, Complete, Partial Order Planner for ADL},
  author={J. Scott Penberthy and Daniel S. Weld},
  booktitle={KR},
  year={1992}
}
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have conditional e ects, universally quanti ed preconditions and e ects, and with universally quanti ed goals. We prove ucpop is both sound and complete for this representation and describe a practical implementation that succeeds on all of Pednault's and McDermott's examples, including the infamous \Yale Stacking Problem… 
UCPOP User's Manual
TLDR
This manual describes a Common Lisp implementation of ucpop, explains how to set up and run the planner, details the action representations syntax, and outlines the main data structures and how they are manipulated.
Temporal Planning with Constraints (Preliminary Report)
We present ZENO, an implemented, partialorder planner that handles simultaneous actions occurring over extended time intervals. The action language supports a large subset of KRSL, including metric
An Introduction to Least Commitment Planning
TLDR
A progression of least commitment planners is summarized, starting with one that handles the simple STRIPS representation and ending with UCPOP, a planner that manages actions with disjunctive precondition, conditional effects, and universal quantification over dynamic universes.
Representing Uncertainty in Simple Planners
TLDR
This paper provides formal definitions of plans under incomplete information and conditional plans, and describes PLINTH, a conditional linear planner based on these definitions, and clarifies the definition of the term “conditional action.
Decomposition and Causality in Partial-order Planning
We describe DPOCL, a partial-order causal link planner that includes action decomposition. DPOCL builds directly on the SNLP algorithm (McAllester & Rosenblitt 1991), and hence is clear and simple,
Learning Expla sed Search Control Rules For Partial Order Planning
TLDR
This paper presents sN-r.z+EBL, the fitst implementation of explanation based learning techniques for a partial order planner, and presents a novel approach that uses stronger domain and planner specific consistency checks to detect, explain and learn from the failures of plans at depth limits.
LPSP: a linear, plan-level stochastic planner
TLDR
LPSP is described, a domain-independent planning algorithm that searches the space of linear plans using stochastic local search techniques and can incorporate into its search various operators that are suitable for manipulating plans, such as plan-step reordering based on action dependencies, and limited forward/backward search.
A Complete Bidirectional Planner
TLDR
It is shown that PRODIGY is not complete and discussed the advantages and drawbacks of its incompleteness, and a complete bidirectional planner is developed and demonstrated that the complete planner is almost as efficient as PRODigY and solves a wider range of problems.
Hybrid learning of search control for partial-order planning
TLDR
This paper presents results on applying a version of the Dolphin search-control learning system to speed up a partial-order planner and shows the resulting system is shown to produce speedup in several planning domains.
Extending Planning Graphs to an ADL Subset
TLDR
An extension of Graphplan to a subset of ADL that allows conditional and universally quantified effects in operators is described and it is proved that Graphplan''s termination test remains complete under subset memoization.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 38 REFERENCES
Planning for Conjunctive Goals
TLDR
Theorems that suggest that efficient general purpose planning with more expressive action representations is impossible are presented, and ways to avoid this problem are suggested.
Achieving the Functionality of Filter Conditions in a Partial Order Planner
TLDR
It is concluded that in general the use of filter conditions is incompatible with the basic assumptions that lie behind partial order planning, and an alternative mechanism is presented, using the secondary preconditions of Pednault (1988, 1991) to represent context-dependent effects.
Plan Synthesis: A Logical Perspective
TLDR
A generalized notion of "progression" and "regression" of conditions through actions is developed, which leads to a bidirectional single - level planning algorithm that is easily extended to hierarchical planning.
Systematic Nonlinear Planning
TLDR
A simple, sound, complete, and systematic algorithm for domain independent STRIPS planning by starting with a ground procedure and then applying a general, and independently verifiable, lifting transformation.
Regression planning
TLDR
This work focuses on the formulation of E. Pednault, and proves that this algorithm can be proven complete, in the sense that it finds any straight‐line plan with no redundant steps.
Toward a mathematical theory of plan synthesis
Planning problems generally have the following form: given a set of goals, a set of allowable actions and a descriptive of the current state of affairs, find a sequence of allowable actions that will
Synthesizing plans that contain actions with context‐dependent effects 1
TLDR
This paper defines and analyzes secondary preconditions from a mathematically rigorous standpoint and demonstrates how they can be derived from regression operators.
Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects
TLDR
A general, mathematically rigorous approach to nonlinear planning that handles both complex goals and actions with context-dependent effects that can be used to solve a wider range of problems than previous approaches to non linear planning.
Commitment Strategies in Planning: A Comparative Analysis
TLDR
It is shown that partial-order planning can be more efficient than total- order planning, but it is also shown that this is not necessarily so.
Generating Project Networks
TLDR
The planner (NONLIN) and the Task Formalism (TF) used to hierarchically specify a domain are described, which can aid in the generation of project networks.
...
1
2
3
4
...