Modeling Planning Domains Systematically.
Susanne Biundo, Stephan Werner · 1996
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.