DMCA
UCPOP: A Sound, Complete, Partial Order Planner for ADL (1992)
Cached
Download Links
- [ftp.cs.pitt.edu]
- [www-i5.informatik.rwth-aachen.de]
- [www.cs.washington.edu]
- [homes.cs.washington.edu]
- [ai.unibo.it]
- DBLP
Other Repositories/Bibliography
| Citations: | 493 - 25 self |
BibTeX
@INPROCEEDINGS{Penberthy92ucpop:a,
author = {J. Scott Penberthy and Daniel S. Weld},
title = {UCPOP: A Sound, Complete, Partial Order Planner for ADL},
booktitle = {},
year = {1992},
pages = {103--114},
publisher = {Morgan Kaufmann}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 effects, universally quantified preconditions and effects, and with universally quantified 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" [McDermott 1991].
