Reasoning About Assumptions in Graphs of Models
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 1432-1437.
Abstract
Solving design and analysis problems in physical worlds requires the representation of large amounts of knowledge. Recently, there has been much interest in explicitly making assumptions to decompose this knowledge into smaller Models. A crucial aspect of problemsolving paradigms based on models is that they include methods to automatically, and efficiently, select and change models. We represent physical domains as Graphs of Models, where models are the nodes of the graph and the edges are the assumptions that have to be changed in going from one model to the other. This paper describes the methods used in the Graphs of Models paradigm for changing models. This knowledge can be represented qualitatively, permitting fast inference mechanisms ~hat provide powerful model changing behavIors.
@inproceedings{ijcai1989p229,
title = {Reasoning About Assumptions in Graphs of Models},
author = {Addanki, Sanjaya and Cremonini, Roberto and Penberthy, J. Scott},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {1432--1437},
year = {1989},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1989/229},
}
TY - CPAPER TI - Reasoning About Assumptions in Graphs of Models AU - Addanki, Sanjaya AU - Cremonini, Roberto AU - Penberthy, J. Scott T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1432 EP - 1437 UR - https://ijcai.org/proceedings/1989/229 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
