Using Qualitative Representations in Controlling Engineering Problem Solving 1

Engineering problem solving requires both domain knowledge and an understanding of how to apply that knowledge. While much of the recent work in qualitative physics has focused on building reusable domain theories, there has been little attention paid to representing the control knowledge necessary for applying these models. This paper shows how qualitative representations and compositional modeling can be used to create control knowledge for solving engineering problems. This control knowledge includes modeling assumptions, plans and preferences. We describe an implemented system, called TPS (Thermodynamics Problem Solver) that illustrates the utility of these ideas in the domain of engineering thermodynamics. TPS to date has solved over 30 problems, and its solutions are similar to those of experts. We argue that our control vocabulary can be extended to most engineering problem solving domains, and employed in a wide variety of problem solving architectures.

[1]  Susan L. Epstein.  For the Right Reasons: The FORR Architecture for Learning in a Skill Domain , 1994, Cogn. Sci..

[2]  Nikitas M. Sgouros,et al.  Representing Physical And Design Knowledge In Innovative Design , 1993 .

[3]  Gerald Jay Sussman,et al.  Propagation of constraints applied to circuit synthesis , 1980 .

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

[5]  J. Kleer.  Qualitative and Quantitative Knowledge in Classical Mechanics , 1975 .

[6]  Kenneth D. Forbus,et al.  Reasoning about Fluids via Molecular Collections , 1987, AAAI.

[7]  A. G. Priest.  Inference strategies in physics problem-solving , 1987 .

[8]  R. E. Sonntag,et al.  Fundamentals of classical thermodynamics , 1973 .

[9]  Kenneth D. Forbus,et al.  Using Qualitative Physics to Build Articulate Software for Thermodynamics Education: A Preliminary Report , 1994, Interact. Learn. Environ..

[10]  Paul S. Rosenbloom,et al.  Universal Subgoaling and Chunking , 1986 .

[11]  Herbert A. Simon,et al.  Models of Competence in Solving Physics Problems , 1980, Cogn. Sci..

[12]  John R. Anderson,et al.  MACHINE LEARNING An Artificial Intelligence Approach , 2009 .

[13]  Craig A. Knoblock.  Automatically Generating Abstractions for Planning , 1994, Artif. Intell..

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

[15]  David A. McAllester.  A Three Valued Truth Maintenance System. , 1978 .

[16]  Gerald DeJong,et al.  Explanation-Based Learning , 2014, Computing Handbook, 3rd ed..

[17]  Benjamin Kuipers,et al.  Reasoning in Logic about Continuous Systems , 1994, KR.

[18]  Paul J. Feltovich,et al.  Categorization and Representation of Physics Problems by Experts and Novices , 1981, Cogn. Sci..

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

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

[21]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[22]  A. G. Priest,et al.  New light on novice—expert differences in physics problem solving , 1992 .