Compositional Model-Based Design
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Qualitative Reasoning and Naive Physics. Pages 1445-1449.
Abstract
Generative model-based design of physical devices is difficult because the space of candidate design solutions is typically very large, and the cost of testing each candidate design to verify that it .satisfies the desired behavior is substantial. In this paper, we present compositional model-based design (CMD), which addresses these problems by adopting a divideand-conquer strategy and by interleaving design generation and testing. The CMD method divides the specified behavior into separate fragments and constructs locally correct design fragment~ for each. The design fragments are then incrementally composed until a design for the entire specified behavior is obtained. We show how the CMD may be used for the conceptual design of a steam-boiler control system.
@inproceedings{ijcai1993p200,
title = {Compositional Model-Based Design},
author = {Bose, Prasanta K. and Rajamoney, Shankar A.},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {1445--1449},
year = {1993},
note = {Qualitative Reasoning and Naive Physics},
url = {https://ijcai.org/proceedings/1993/200},
}
TY - CPAPER TI - Compositional Model-Based Design AU - Bose, Prasanta K. AU - Rajamoney, Shankar A. T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 1445 EP - 1449 UR - https://ijcai.org/proceedings/1993/200 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
