Modeling Planning Domains Systematically.

Abstract

We present a systematic approach to the modular and incremental construction of provably consistent domain models for planning. It is based on a temporal logic framework that in particular allows for the introduction of abstract datatypes which can usefully be applied to mirror the computational aspects of planning problems and their solutions. A formal concept is developed that enables the construction as well as the modification of already existing domain models in a sound manner. This includes well-defined operations for the union, extension, and refinement of domain models.

Cite this paper

@article{biundo1996modeling,
  title = {{Modeling Planning Domains Systematically.}},
  author = {Biundo, Susanne and Werner, Stephan},
  pages = {599--603},
  year = {1996}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers