CFRL: A Language for Specifying the Causal Functionality of Engineered Devices
暂无分享,去创建一个
Richard Fikes | B. Chandrasekaran | Yumi Iwasaki | Marcos Vescovi | B. Chandrasekaran | R. Fikes | Y. Iwasaki | M. Vescovi
[1] B. Chandrasekaran,et al. Design Verification through Function- and Behavior-Oriented Representations , 1992 .
[2] Benjamin Kuipers,et al. QPC: A Compiler from Physical Models into Qualitative Differential Equations , 1990, AAAI.
[3] Kenneth D. Forbus. The qualitative process engine , 1989 .
[4] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artif. Intell..
[5] David W. Franke,et al. Deriving and using descriptions of purpose , 1991, IEEE Expert.
[6] Herbert A. Simon,et al. Causality in Device Behavior , 1989, Artif. Intell..
[7] Richard Fikes,et al. How Things are Intended to Work: Capturing Functional Knowledge in Device Design , 1993, IJCAI.
[8] Balakrishnan Chandrasekaran,et al. Machine understanding of devices: causal explanation of diagnostic conclusions , 1989 .
[9] Richard M. Young,et al. Evaluating design using knowledge of purpose and knowledge of structure , 1991, IEEE Expert.