Learn More
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 eeects, universally quan-tiied preconditions and eeects, and with universally quantiied goals. We prove ucpop is both sound and complete for this representation and describe a(More)
Solving design and analysis problems in physical worlds requires the representation of large amounts of knowledge. Recently, there has been much interest in explicitly making assumptions to decompose this knowledge into smaller Models. A crucial aspect of problem-solving paradigms based on models is that they include methods to automatically, and(More)
  • 1