The Use of Sort Abstraction In Planning Domain Theories

Abstract

This paper introduces a new planning algorithm which relies on a set ofiterative macros and a set of necessary goal ordering constraints that are generated during a compilation phase prior to planning. The main contribution of domain compilation is to speed up planning and is achieved at the price of a well specified domain model that has been engineered… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics