Using Qualitative Physics to Build Articulate Software for Thermodynamics Education: A Preliminary Report

One of the original motivations for research in qualitative physics was the development of intelligent learning environments for physical domains and complex systems. This puper demonstrates how a ...

[1]  James D. Hollan,et al.  STEAMER: An Interactive Inspectable Simulation-Based Training System , 1984, AI Mag..

[2]  Sanjaya Addanki,et al.  Reasoning About Assumptions in Graphs of Models , 1989, IJCAI.

[3]  Roger C. Schank,et al.  Empowering the Student: New Perspectives on the Design of Teaching Systems , 1991 .

[4]  Joseph Psotka,et al.  Intelligent tutoring systems : lessons learned , 1988 .

[5]  Brian Falkenhainer,et al.  Setting up Large-Scale Qualitative Models , 1988, AAAI.

[6]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[7]  Kenneth D. Forbus,et al.  Using qualitative simulation to generate explanations , 1981 .

[8]  V. Shute,et al.  Cognitive Approaches To Automated Instruction , 1992 .

[9]  John Seely Brown,et al.  An Investigation of Computer Coaching for Informal Learning Activities. , 1978 .

[10]  P. Pandurang Nayak,et al.  Automated Modeling of Physical Systems , 1995, Lecture Notes in Computer Science.

[11]  R. W. Haywood.  Analysis of engineering cycles , 1980 .

[12]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[13]  J. S. Brown,et al.  Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III , 1982 .

[14]  R. W. Haywood.  Analysis of Engineering Cycles: Power, Refrigerating and Gas Liquefaction Plant , 1991 .

[15]  Kenneth D. Forbus,et al.  Qualitative and quantitative reasoning about thermodynamics , 1989 .

[16]  E. Soloway,et al.  Causal Model Progressions as a Foundation for Intelligent Learning Environments , 1990 .

[17]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[18]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[19]  John O. Everett,et al.  A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics , 1995, IJCAI.

[20]  P. B. Whalley.  Basic Engineering Thermodynamics , 1993 .

[21]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[22]  Kenneth D. Forbus,et al.  STEAMER: Advanced computer-aided instruction in propulsion engineering , 1981 .

[23]  Thomas R. Gruber,et al.  Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach , 1993, IJCAI.

[24]  Kenneth D. Forbus,et al.  Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection , 1996, AAAI/IAAI, Vol. 1.

[25]  Chris Mellish,et al.  Optimizing the Costs and Benefits of Natural Language Generation , 1993, International Joint Conference on Artificial Intelligence.

[26]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[27]  T. Govindaraj.  Qualitative approximation methodology for modeling and simulation of large dynamic systems: Applications to a marine steam power plant , 1987, IEEE Transactions on Systems, Man, and Cybernetics.