Design Verification Through Function- and Behavior-Oriented Representations

Reference: Iwasaki, Y. & Chandrasekaran, B. Design Verification Through Function- and Behavior-Oriented Representations. Kluwer Academic, Pittsburgh, 1992.

Abstract: A central purpose of knowledge acquisition technology is to assist with the formulation of domain models that underlie knowledge systems. In this article we examine the model formulation process itself as a problem-solving task. Drawing from AI research in qualitative reasoning about physical systems, we characterize the model formulation task in terms on the inputs, the reasoning subtasks, and the knowledge needed to perform the problem solving. We describe the elements of a high-level representation of modeling knowledge, and techniques for providing intelligent assistance to the model builder. Applying the results from engineering modeling to knowledge acquisition in general, we identify properties of the representation that facilitate the construction of knowledge systems from libraries of reusable models.

Full paper available as ps, hqx.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]
Send mail to: ksl-info@ksl.stanford.edu to send a message to the maintainer of the KSL Reports.