Reasoning About Assumptions in Graphs of Models
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 problem-solving 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 that provide powerful model changing behaviors.
Cite
Text
Addanki et al. "Reasoning About Assumptions in Graphs of Models." International Joint Conference on Artificial Intelligence, 1989. doi:10.1016/B978-1-4832-1447-4.50054-7Markdown
[Addanki et al. "Reasoning About Assumptions in Graphs of Models." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/addanki1989ijcai-reasoning/) doi:10.1016/B978-1-4832-1447-4.50054-7BibTeX
@inproceedings{addanki1989ijcai-reasoning,
title = {{Reasoning About Assumptions in Graphs of Models}},
author = {Addanki, Sanjaya and Cremonini, Roberto and Penberthy, J. Scott},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {1432-1438},
doi = {10.1016/B978-1-4832-1447-4.50054-7},
url = {https://mlanthology.org/ijcai/1989/addanki1989ijcai-reasoning/}
}