On extracting goal structure from planning domain specifications
Thomas Leo McCluskey, Julie M. Porteus · 1995
this paper we extend our work reported in [11] and present the framework for an analysis of goal establishment in conjunctive goal planning. We begin in section 2 by introducing the model of planning that we will use in the static analysis of goal establishment which is the subject of section 3. The paper can be seen as a report of work in progress and in section 4 we discuss our results to date. Finally, in section 5 we relate our work in domain compilation, and in particular identification of goal interactions during compilation, to other work