KSL-94-10 + redirect page
A Causal Functional Representation Language with Behavior-Based Semantics + Has identifier
A Causal Functional Representation Language with Behavior-Based Semantics + Ksl tr id
A Causal Functional Representation Language with Behavior-Based Semantics + Number
| A Causal Functional Representation Language with Behavior-Based Semantics |
Bibtype
techreport
Has publishing details
February,1994
Has title
A Causal Functional Representation Language with Behavior-Based Semantics
Has year
1994
Title
A Causal Functional Representation Language with Behavior-Based Semantics
Year
1994
Abstract
Understanding the design of a device requi … Understanding the design of a device requires both knowledge of the general physical principles that determine its behavior and knowledge of its intended functions. However, the majority of work in model-based reasoning has focused on using either one of these types of knowledge alone. In order to use both types of knowledge in understanding a device design, one must represent the functional knowledge in such a way that it has a clear interpretation in terms of observed behavior. We propose a new formalism, Causal Functional Representation Language (CFRL), for representing device functions with well-defined semantics in terms of behavior. CFRL allows the specification of conditions that a behavior must satisfy, such as occurrence of temporal sequences of events and causal relations among them and the components. We have used CFRL as the basis for a functional verification program, which determines whether a behavior achieves an intended function. a behavior achieves an intended function.
Author
Yumi Iwasaki and Marcos Vescovi and Richard Fikes +
Has author
Yumi Iwasaki and Marcos Vescovi and Richard Fikes +
Has identifier
A Causal Functional Representation Language with Behavior-Based Semantics +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
A Causal Functional Representation Language with Behavior-Based Semantics +
Month
February +
Number
A Causal Functional Representation Language with Behavior-Based Semantics +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
