Using qualitative physics to create articulate educational software

IEEE Expert-Intelligent Systems and their Applications

Volumn 12, Issue 3, 1997, Pages 32-41

  Forbus, Kenneth D ^a,b  

^a NORTHWESTERN UNIVERSITY   (United States)

^b Institute for the Learning Sciences   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER AIDED INSTRUCTION; COMPUTER SIMULATION; COMPUTER SOFTWARE; ENGINEERING EDUCATION; ENGINEERING RESEARCH; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; VIRTUAL REALITY;

ARTICULATE SOFTWARE; ARTICULATE VIRTUAL LABORATORY; LOGIC BASED TRUTH MAINTENANCE SYSTEMS; QUALITATIVE PHYSICS;

COMPUTER AIDED ENGINEERING;

EID: 0031146545     PISSN: 08859000     EISSN: None     Source Type: Journal    
DOI: 10.1109/64.590072     Document Type: Article

References (13)

1. J.S. Brown, R. Burton, and J. de Kleer, "Pedagogical, Natural Language, and Knowledge Engineering Techniques in SOPHIE I, II, and III," in Intelligent Tutoring Systems, D. Sleeman and J.S. Brown, eds., Academic Press, San Diego, 1982, pp. 227-282.
2. J. Hollan, E. Hutchins, and L. Weitzman, "STEAMER: An Interactive Inspectable Simulation-Based Training System," AI Magazine, Vol. 5, No. 2, 1984, pp. 15-27.
3. D. Gentner and A. Stevens, eds., Mental Models, Lawrence Erlbaum Associates, Mahwah, N.J., 1983.
4. K. Forbus, "Three Articulate Software Architectures for Science and Engineering Education," to be published as an ILS tech. report, Inst. for Learning Sciences, Northwestern Univ., Evanston, Ill.
5. K. Forbus and P. Whalley, "Using Qualitative Physics to Build Articulate Software for Thermodynamics Education," Proc. 12th Nat'l Conf. Artificial Intelligence, Vol. 2, AAAI Press/MIT Press, Cambridge, Mass., 1994, pp. 1175-1182.
6. R.M. Stallman and G.J. Sussman, "Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis," Artificial Intelligence, Vol. 9, 1977, pp. 135-196.
7. B. Falkenhainer and K. Forbus, "Compositional Modeling: Finding the Right Model for the Job," Artificial Intelligence, Vol. 51, Nos. 1-3, Oct. 1991, pp 95-143.
8. K. Forbus and J. de Kleer, Building Problem Solvers, MIT Press, 1993.
9. J. Everett and K. Forbus, "Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection," Proc. 13th Nat'l Conf. Artificial Intelligence, Vol. 1, AAAI Press/MIT Press, 1996, pp. 614-620.
10. E. Reiter and C. Mellish, "Optimizing the Costs and Benefits of Natural Language Generation," Proc. IJCAI-93, Morgan Kaufmann, San Francisco, 1993, pp. 1164-1169.
11. K. Forbus, D. Centner, and K. Law, "MAC/FAC: A Model of Similarity-Based Retrieval," Cognitive Science, Vol. 19, No. 2, Apr.-June, 1995, pp. 141-205.
12. B. Falkenhainer, K. Forbus, and D. Gentner, "The Structure-Mapping Engine: Algorithm and Examples," Artificial Intelligence, Vol. 41, 1989, pp. 1-63.
13. K. Forbus, R. Ferguson, and D. Gentner, "Incremental Structure-Mapping," Proc. Cognitive Science Soc., Lawrence Erlbaum Associates, 1994, pp. 313-318.