Self-Explanatory Simulations: An integration of qualitative and quantitative knowledge

Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990

Volumn , Issue , 1990, Pages 380-387

  Forbus, Kenneth D ^a   Falkenhainer, Brian ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

'CURRENT; NUMERICAL SIMULATORS; POWER; QUALITATIVE KNOWLEDGE; QUALITATIVE MODELING; QUALITATIVE PHYSICS; QUALITATIVE REASONING; QUANTITATIVE KNOWLEDGE; QUANTITATIVE MODELS;

NUMERICAL MODELS;

EID: 84990554632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Abelson, H. and Sussman, G. J. The Dynamicist's Workbench: I Automatic preparation of numerical experiments MIT AI Lab Memo No. 955, May, 1987.
2. Abelson, H. et. al. Intelligence in Scientific Computing Communications of the A CM 32:546-562, 1989.
3. Berleant, D. A unification of numerical and qualitative model simulation. Proceedings of the 1989 Workshop on Model-Based Reasoning at IJCAI-89.
4. Berlin, A. A Compilation strategy for numerical programs based on partial evaluation MIT AI Lab Technical Report No. 1144, July, 1989.
5. Christensen, P, Kofoed, J. and Larsen, N. PC-DYSIM - A program package for simulation of continuous dynamic processes: User's manual Technical Report Riso-I-342, Riso National Laboratory, DK-4000 Roskilde, Denmark, February, 1988
6. Collins, J and Forbus, K. Building qualitative models of thermodynamic processes. Technical report in progress.
7. deKleer, J. and Brown, J. S. A qualitative physics based on confluences. Artificial Intelligence, 24:7-83, 1984.
8. deKleer, J. and Brown, J. S. Theories of causal ordering Artificial Intelligence, 29:33-62 1986.
9. Falkenhainer, B and Forbus, K. D. Setting up largescale qualitative models. In Proceedings of AAAI-88.
10. Falkenhainer, B. and Forbus, K. D. Compositional Modeling: Finding the right model for the job Submitted for publication, February, 1990.
11. Forbus, K. An interactive laboratory for teaching control system concepts BBN Tech Report No. 5511, 1984.
12. Forbus, K. D. Qualitative process theory. Artificial Intelligence, 24, 1984.
13. Forbus, K. The logic of occurrence. Proceedings of IJCAI-87.
14. Forbus, K. D. The qualitative process engine in Readings in Qualitative Reasoning about Physical Systems, Weld, D. and de Kleer, J. (Eds.), 1989.
15. Forbus, K. D. Introducing actions into qualitative simulation. Proceedings of IJCAI-89.
16. Forbus, K. and Stevens, A. Using qualitative simulation to generate explanations. Proceedings of the Third Annual Conference of the Cognitive Science Society, 1981.
17. Hollan, J, Hutchins, E, and Weitzman, L. STEAMER: An interactive inspectable simulation-based training system. AI Magazine, Summer 1984.
18. Iwasaki, I. and Simon, H. "Causality in device behavior", Artificial Intelligence, 29, 1986.
19. Iwasaki, Y., Doshi, K., Gruber, T., Keller, R., and Low, C. M. Equation model generation: Where do equations come from? Proceedings of the 1989 Workshop on Model-Based Reasoning at IJCAI-89.
20. Katzenelson, J. AEDNET: A simulator for nonlinear networks Proceedings of the IEEE, Vol 54, No. 11, November, 1966.
21. Keller, R., Baudin, C., Iwasaki, Y., Nayak, P. and Tanaka, K. Compiling special-purpose rules for generalpurpose device models Stanford Knowledge Systems Laboratory Report No. KSL 89-50, June, 1989.
22. Kuipers, B. Qualitative simulation. Artificial Intelligence, 29:289-338, 1986.
23. Kuipers, B. and Berleant, D. Using incomplete quantitative knowledge in qualitative reasoning Proceedings of AAAI-88, St. Paul, Minnesota, 1988.
24. Larsen, N. Simulation model of a PWR power plant Technical Report Riso-M-2640, Riso National Laboratory, DK-4000 Roskilde, Denmark, March, 1987
25. Roberts, B. and Forbus, K. The STEAMER mathematical simulation. BBN Tech Report No. 4625, 1981.
26. Shearer, J., Murphy, A. and Richardson, H. Introduction to System Dynamics, Addison-Wesley, 1971.
27. Skorstad, G. G and Forbus, K. D. Qualitative and quantitative reasoning about thermodynamics. In Proceedings of the Eleventh Annual Conference of the Cognitive Science Society, Ann Arbor, MI, August 1989.
28. Stevens, A., Roberts, B., Stead, L. Forbus, K., Steinberg, C., Smith, B. "STEAMER: Advanced computeraided instruction in propulsion engineering", BBN Technical report, July, 1981
29. Williams, B. Qualitative analysis of MOS circuits. Artificial Intelligence, 24:281-346, 1984.
30. Williams, B. MINIMA. A symbolic approach to qualitative algebraic reasoning. Proceedings of AAAI-88.
31. Woolf, B., Biegen, D., Jansen, J., and Verloop, A. Teaching a complex industrial process AAAI-86.
32. Yip, K. Generating global behaviors using deep knowledge of local dynamics Proceedings of AAAI-88.