A causal functional representation language with behavior-based semantics
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|a causal functional representation language with behavior-based semantics }}
- [[]]
bibtex
{{#vardefine:pagename|A causal functional representation language with behavior-based semantics }}{{#vardefine:key| }}
abstract: 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 knowlege 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 Functinal 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.
download:
- paper:
- slides:
| 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 knowlege 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 Functinal 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 +, Marcos Vescovi +, and Richard Fikes + |
| Bibtype | techreport + |
| Institution | Knowledge Systems, AI Laboratory + |
| Key | KSL-94-10 + |
| Month | February + |
| Number | KSL-94-10 + |
| Tag | Computer science + |
| Title | A Causal Functional Representation Language with Behavior-Based Semantics + |
| Tr id | KSL-94-10 + |
| Year | 1994 + |
