Date: Tue, 10 Dec 1996 14:59:14 GMT Server: NCSA/1.4.2 Content-type: text/html The UCPOP planner

The UCPOP Planner

Version 4.0 of UCPOP now available!

Common Lisp source code for the UCPOP partial order planner, version 4.0, is now available via anonymous FTP. UCPOP operates with actions that have conditional effects and universally quantified preconditions and effects. It accepts universally quantified goals. In addition, UCPOP 4.0 allows domain axioms and predicates that call Common Lisp code to determine satisfiability. With a conservative search strategy UCPOP is both sound and complete for this representation, but one can add aggressive, domain-dependent search control with convenient declarative rules. Our Common Lisp implementation is simple enough for classroom use, yet quite efficient (requiring between 2-20ms to explore and refine a partial plan).

Version 4.0 replaces and subsumes version 2.0. Highlights include:

  1. Twice as fast at plan elaboration
  2. The revamped, improved graphical Plan DeBugger ( here).
  3. Improved quantification over dynamic universes
  4. More sophisticated search control strategies (including Schubert and Gerevini's ZLIFO)
  5. Improved user's manual

This builds on the features introduced in version 2.0:

  1. Declarative specification of search control rules
  2. Universal quantification over dynamic universes (object creation and destruction)
  3. Domain axioms
  4. Predicates expanding to lisp code
  5. Larger set of domain theories & search functions for testing.

This work was first presented at KR-92:

Penberthy, J. S. and Weld, D., ``UCPOP: A Sound, Complete, Partial-Order Planner for ADL,'' Third International Conference on Knowledge Representation and Reasoning (KR-92), Cambridge, MA, October 1992.

An experimental implementation of UCPOP 2.0 in C++ is also available. It is about an order of magnitude faster than the Lisp implementation but it doesn't have all the extensions. Please send us mail for more information.


[homepage Button] Back to AI Home Page
[CSE Button] Back to CSE Home Page
bug-ucpop@cs.washington.edu