KSL-92-63 + redirect page
Design Verification Through Function- and Behavior-Oriented Representations + Has identifier
Design Verification Through Function- and Behavior-Oriented Representations + Ksl tr id
| Design Verification Through Function- and Behavior-Oriented Representations |
Bibtype
inproceedings
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
Title
Design Verification Through Function- and Behavior-Oriented Representations
Year
1992
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 +
Booktitle
Proceedings Artificial Intelligence in Design Conference +
Has author
Yumi Iwasaki and B. Chandrasekaran +
Has identifier
Design Verification Through Function- and Behavior-Oriented Representations +
Ksl tr id
Design Verification Through Function- and Behavior-Oriented Representations +
Process note
GOOGLE +
Publisher
Kluwer Academic +
Categories InProceedings +, KSL Technical Report +, Publication +
|
