CAUSAL FUNCTIONAL REPRESENTATION LANGUAGE WITH BEHAVIOR-BASED SEMANTICS

REFERENCES

• Allemang , D. 1990 . Understanding programs as devices . Ph.D. thesis , Dept. of Computer and Information Sciences , The Ohio State University .
   Google Scholar
• Bradshaw , J. A. , and Young , R. M. 1991 . Evaluating design using knowledge of purpose andknowledge of structure . IEEE Expert 6 ( 2 ) 33 – 40 ).
   Google Scholar
• Chandrasekaran , B. ,Mittal.S. 1983 . Deep versus compiled knowledge approach to diagnostic problem solving . In International Jounai of Man-Machine Studies. Special Issue on Expert Systems 19 425 – 436 .
   Google Scholar
• Crawford , J. , Farquhar , A. ,Kuipers. B. 1990 . Qpc A compiler from physical models to qualitative differential equations . In Proceedings of the eighth national conference on artificial intelligence . Menlo Park , CA AAAI Press .
   Google Scholar
• Falkenhainer , B. , and Forbus , K. 1991 . Compositional modeling Finding the right model for the job . Artificial Intelligence 51 95 – 143 .
   Web of Science ®Google Scholar
• Forbus , K. 1984 . Qualitative process theory . Artificial Intelligence 24 178 – 219 .
   Google Scholar
• Forbus , K. 1989 . The qualitative process engine . In Readings in qualitative reasoning about physical systems , eds, D. Weld and J. deKleer , pp. 220 – 235 . Los Altos , CA Morgan Kaufmann .
   Google Scholar
• Franke , D. W. 1991 . Deriving and using descriptions of purpose . IEEE Expert 6 ( 2 ) 41 – 47 .
   Google Scholar
• Goel , A. 1989 . Integration of case-based reasoning and model-based reasoning for adaptive design problem solving . Ph.D. thesis , Dept. of Computer and Information Sciences , The Ohio State University .
   Google Scholar
• Iwasaki , Y. , and Chandrasekaran , B. 1992 . Design verification through function and behavior-oriented representations Bridging the gap between function and behavior . In Artificial intelligence in design ’92 , eds. J. S. Gero and F. Sudweeks , pp. 452 – 436 . Dordrecht Kluwer Academic Publishers ,
   Google Scholar
• Iwasaki , Y. , and Low , CM. 1993 . Model generation and simulation ofdevice behavior with continuous anddiscrete change . Intelligent Systems Engineering 1 ( 2 ) 115 – 145 .
   Google Scholar
• Iwasaki , Y. , and Simon , H. A. 1986 . Causality in device behavior . Artificial Intelligence 29 3 – 32 .
   Web of Science ®Google Scholar
• Iwasaki , Y. , Richard , F. , Vescovi , M. , and Chandrasekaran , B. 1993 . How things are intended to work Capturing functional knowledge in device design . Proceedings of the 13jh international joint conference on artificial intelligence , pp. 1516 – 1522 . San Mateo , CA Morgan
   Google Scholar
• Kaufmann.Keuneke , A. 1989 , Machine understanding of devices; causal explanation of diagnostic conclusions . Ph.D. thesis , Dept. of Computer and Information Sciences , The Ohio State University .
   Google Scholar
• Keuneke , A. 1991 . Device representation The significance of functional knowledge . IEEE Expert 6 ( 2 ) 22 – 25 .
   Google Scholar
• Lockheed MissilesSpace Company . 1985 . Ssm systems procedure for electrical power subsystem . Doc. no. D889543A. SE-23 , Vol. III .
   Google Scholar
• Mackie , J. L. 1974 . The cement of the universe . Oxford Oxford University Press .
   Google Scholar
• Sembugamoorthy , V. , and Chandrasekaran , B. 1986 . Functional representation of devices and compilation of diagnostic problem-solving systems . In Experience, memory and reasoning , eds. J. Kolodner and C.Riesbeck , pp. 47 – 73 . Hillsdale , NJ Lawrence Erlbaum .
   Google Scholar
• Sticklen , J. 1987 . Mdx2 An integrated medical diagnostic system . Ph.D. thesis , Dept. of Computer and Information Sciences , The Ohio State University .
   Google Scholar