System Assistance in Structured Domain Model Development
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Planning and Scheduling. Pages 1240-1244.
Abstract
In this paper, we introduce a domain modeling tool that supports users in the incremental and modular development of verified models of planning domains. It reli es on a logic-based concept for systematic domain model construction that provides well-defined, safe operations for the union, extension, and refinement of already existing models. The system is equiped with a deductive component. It automatically performs the proofs necessary to guarantee both the consistency of single models and the safety of operations on models. By means of detailed examples, it is shown how the system has been used for the structured development of a model for a complex, safety-critical planning domain.
@inproceedings{ijcai1997p179,
title = {System Assistance in Structured Domain Model Development},
author = {Biundo, Susanne and Stephan, Werner},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {1240--1244},
year = {1997},
note = {Planning and Scheduling},
url = {https://ijcai.org/proceedings/1997/179},
}
TY - CPAPER TI - System Assistance in Structured Domain Model Development AU - Biundo, Susanne AU - Stephan, Werner T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1240 EP - 1244 UR - https://ijcai.org/proceedings/1997/179 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
