Model Abstraction in Qualitative Reasoning

Citation: Yumi Iwasaki. (1989) Model Abstraction in Qualitative Reasoning. In KSL-89-79, November,1989.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Yumi Iwasaki
title	Model Abstraction in Qualitative Reasoning
number	KSL-89-79
institution	Knowledge Systems, AI Laboratory
year	1989
month	November
Bibtex more
Access Paper
abstract	Model formation is an important step in engineering problem solving, but relatively little work has been done to automate the process. I formulation a model, choosing an appropriate level of abstraction is crucial since the computational cost of analysis increases rapidly with the size of the model.We propose to develop a theory of model abstraction. We will develop a formalism to define abstraction levels, in a way that allows information about the goal to be used to select an appropriate level. We will test the proposed theory by constructing a program that, given a question about device behavior,can generate models at different abstraction levels, reason about its behavior with appropriate models, and integrate conclusions drawn at multiple levels into one coherent description of the behavior. We expect this research to contribute to understanding of engineering model formulation process and enable automated analysis of complex systems.

KSL Technical Report ID: KSL-89-79

Abstract	Model formation is an important step in en … Model formation is an important step in engineering problem solving, but relatively little work has been done to automate the process. I formulation a model, choosing an appropriate level of abstraction is crucial since the computational cost of analysis increases rapidly with the size of the model.We propose to develop a theory of model abstraction. We will develop a formalism to define abstraction levels, in a way that allows information about the goal to be used to select an appropriate level. We will test the proposed theory by constructing a program that, given a question about device behavior,can generate models at different abstraction levels, reason about its behavior with appropriate models, and integrate conclusions drawn at multiple levels into one coherent description of the behavior. We expect this research to contribute to understanding of engineering model formulation process and enable automated analysis of complex systems. ble automated analysis of complex systems.
Author	Yumi Iwasaki +
Bibtype	techreport +
Has author	Yumi Iwasaki +
Has identifier	KSL-89-79 +
Has publishing details	November,1989 +
Has title	Model Abstraction in Qualitative Reasoning +
Has where published	KSL-89-79 +
Has year	1989 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-89-79 +
Month	November +
Number	KSL-89-79 +
Process note	NO +
Title	Model Abstraction in Qualitative Reasoning +
Year	1989 +