Design Verification Through Function- and Behavior-Oriented Representations

From Tetherless World Wiki

Jump to: navigation, search

Citation: Yumi Iwasaki and B. Chandrasekaran. (1992) Design Verification Through Function- and Behavior-Oriented Representations. In Proceedings Artificial Intelligence in Design Conference, 1992.

Publication inproceedings ( Edit )
type InProceedings
bibtype inproceedings
Bibtex basics
author Yumi Iwasaki and B. Chandrasekaran
title Design Verification Through Function- and Behavior-Oriented Representations
booktitle Proceedings Artificial Intelligence in Design Conference
address Pittsburgh
year 1992
Bibtex more
publisher Kluwer Academic
Access Paper
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.

KSL Technical Report ID: KSL-92-63
Facts about Design Verification Through Function- and Behavior-Oriented RepresentationsRDF feed
Abstract A central purpose of knowledge acquisition … 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. systems from libraries of reusable models.
Address Pittsburgh  +
Author Yumi Iwasaki and B. Chandrasekaran  +
Bibtype inproceedings  +
Booktitle Proceedings Artificial Intelligence in Design Conference  +
Has author Yumi Iwasaki and B. Chandrasekaran  +
Has identifier KSL-92-63  +
Has publishing details 1992  +
Has title Design Verification Through Function- and Behavior-Oriented Representations  +
Has where published Proceedings Artificial Intelligence in Design Conference  +
Has year 1992  +
Ksl tr id KSL-92-63  +
Process note GOOGLE  +
Publisher Kluwer Academic  +
Title Design Verification Through Function- and Behavior-Oriented Representations  +
Year 1992  +
Retrieved from "http://tw.rpi.edu/wiki/Design_Verification_Through_Function-_and_Behavior-Oriented_Representations"
Personal tools