Causal functional representation language with behavior-based semantics

Applied Artificial Intelligence

Volumn 9, Issue 1, 1995, Pages 5-31

  Iwasaki, Yumi ^a   Vescovi, Marcos ^a   Fikes, Richard ^a   Chandrasekaran, B ^b  

^a STANFORD UNIVERSITY   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; DESIGN; KNOWLEDGE BASED SYSTEMS; SYSTEMS ANALYSIS;

CAUSAL FUNCTIONAL REPRESENTATION LANGUAGE; FUNCTIONAL KNOWLEDGE; MODEL BASED REASONING; SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 0029207504     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/08839519508945465     Document Type: Article

References (19)

1. Allemang, D. 1990. Understanding programs as devices. Ph.D. thesis, Dept, of Computer and Information Sciences, The Ohio State University.
2. Bradshaw, J. A., and Young, R. M. 1991. Evaluating design using knowledge of purpose andknowledge of structure. IEEE Expert 6(2):33-40.
3. Chandrasekaran, B., and Mittal, S. 1983. Deep versus compiled knowledge approach to diagnostic problem solving. In International Jounal of Man-Machine Studies. Special Issue on Expert Systems 19:425-436.
4. Crawford, J., Farquhar, A., and 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: AAAIPress.
5. Falkenhainer, B., and Forbus, K. 1991. Compositional modeling: Finding the right model for the job. Artificial Intelligence 51:95-143.
6. Forbus, K. 1984. Qualitative process theory. Artificial Intelligence 24:178-219.
7. 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.
8. Franke, D W. 1991. Deriving and using descriptions of purpose. IEEE Expert 6(2):41 —47.
9. 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.
10. 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.
11. Iwasaki, Y., and Low, C. M. 1993. Model generation and simulation of device behavior with continuous anddiscrete change. Intelligent Systems Engineering 1(2): 115-145.
12. Iwasaki, Y., and Simon, H. A. 1986. Causality in device behavior. Artificial Intelligence 29:3-32.
13. 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 I3jh international joint conference on artificialintelligence, pp. 1516-1522. San Mateo, CA: Morgan Kaufmann.
14. 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.
15. Keuneke, A. 1991. Device representation: The significance of functional knowledge. IEEE Expert 6(2):22-25.
16. Lockheed Missiles and Space Company. 1985. Ssm systems procedure for electrical power subsystem. Doc. no. D889543A, SE-23, Vol. 3.
17. Mackie, J. L. 1974. The cement of the universe. Oxford: Oxford University Press.
18. Sembugamoorthy, V., and Chandrasekaran, B. 1986. Functional representation of devices and compilation of diagnostic problem-solving systems. In Experience, memory and reasoning, eds. J. KolodnerandC.Riesbeck, pp. 47-73. Hillsdale, NJ: Lawrence Erlbaum.
19. Stickten, J. 1987. Mdx2: An integrated medical diagnostic system. Ph.D. thesis, Dept, of Computer and Information Sciences, The Ohio State University.