Modelling Planning Domains Systematically

Susanne Biundo, Werner Stephan

In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial Intelligence (ECAI-96) 12th August 11-16 Budapest Hungary Seiten 599-603 John Wiley & Sons 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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence