A Causal Functional Representation Language with Behavior-Based Semantics

From Tetherless World Wiki

(Redirected from KSL-94-10)
Jump to: navigation, search

Citation: Yumi Iwasaki and Marcos Vescovi and Richard Fikes. (1994) A Causal Functional Representation Language with Behavior-Based Semantics. In KSL-94-10, February,1994.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Yumi Iwasaki and Marcos Vescovi and Richard Fikes
title A Causal Functional Representation Language with Behavior-Based Semantics
number KSL-94-10
institution Knowledge Systems, AI Laboratory
year 1994
month February
Bibtex more
Access Paper
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 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.

KSL Technical Report ID: KSL-94-10
Facts about A Causal Functional Representation Language with Behavior-Based SemanticsRDF feed
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  +
Bibtype techreport  +
Has author Yumi Iwasaki and Marcos Vescovi and Richard Fikes  +
Has identifier KSL-94-10  +
Has publishing details February,1994  +
Has title A Causal Functional Representation Language with Behavior-Based Semantics  +
Has where published KSL-94-10  +
Has year 1994  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-94-10  +
Month February  +
Number KSL-94-10  +
Process note NO  +
Title A Causal Functional Representation Language with Behavior-Based Semantics  +
Year 1994  +
Retrieved from "http://tw.rpi.edu/wiki/A_Causal_Functional_Representation_Language_with_Behavior-Based_Semantics"
Personal tools