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

@incollection{citeulike:1293246, 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\"...}, address = {San Mateo, California}, author = {Penberthy, Scott J. and Weld, Daniel S.}, booktitle = {KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference}, citeulike-article-id = {1293246}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.3126}, editor = {Nebel, Bernhard and Rich, Charles and Swartout, William}, keywords = {action-selection, activities, behavioral-models, effects, planners, planning}, pages = {103--114}, posted-at = {2009-08-06 17:00:52}, priority = {2}, publisher = {Morgan Kaufmann}, title = {UCPOP: {A} Sound, Complete, Partial Order Planner for {ADL}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.3126}, year = {1992} }

TY - CHAP ID - citeulike:1293246 L3 - citeulike-article-id:1293246 N2 - 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"... AD - San Mateo, California EP - 114 TI - UCPOP: {A} Sound, Complete, Partial Order Planner for {ADL} PB - Morgan Kaufmann T2 - KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference SP - 103 KW - action-selection KW - activities KW - behavioral-models KW - effects KW - planners KW - planning AU - Penberthy, Scott AU - Weld, Daniel A2 - Nebel, Bernhard A2 - Rich, Charles A2 - Swartout, William PY - 1992/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.3126 ER -