This Article 
 Bibliographic References 
 Add to: 
Representation of Models for Expert Problem Solving in Physics
March 1991 (vol. 3 no. 1)
pp. 48-54

A computer program, APEX, is proposed to investigate idealized formal models representing physics problems. Two types of models are defined: canonical physical objects and physical models. During problem solving, the problem is represented as a data connection network, which is progressively augmented by these models in the form of additional network elements. APEX employs views as a representational framework for connecting the initially informal objects to the formal models of the domain. The view framework supports multiple representations (e.g., viewing many objects as a single canonical physical object), handling of incompletely specified problems, and invertibility of the views. This computational framework provides a powerful representational mechanism that allows a finite set of physical principles to be applied to a potentially infinite variety of problems. As a knowledge engineering technique, views allow general principles to be applied to a variety of objects whose representations differ.

[1] S. Addanki, R. Cremoni, and J. S. Penberthy, "Reasoning about assumptions in graphs of models," inProc. IJCAI-89, pp. 1432-1438.
[2] D. Bobrow, Ed.,Qualitative Reasoning About Physical Systems. Cambridge, MA: MIT Press, 1985.
[3] W. Bulko, "Understanding text with an accompanying diagram," inProc. First Int. Conf. Industrial Eng. Appl. AI Expert Syst.Tullahoma, TN, 1988, pp. 894-898.
[4] W. Bulko, "Understanding coreference in a system for solving physics word problems," Ph.D. dissertation, available as AI-89-102, CS Dep., Univ. of Texas at Austin, 1989.
[5] M. Chi, P. Feltovich, and R. Glaser. "Categorization and representation of physics problems by experts and novices,"Cognitive Sci., vol. 5, pp. 121-152, 1981.
[6] J. de Kleer and J.S. Brown, "A qualitative physics based on confluences," inQualitative Reasoning About Physical Systems, Cambridge, MA: MIT Press, 1985, pp. 7-84.
[7] K. Forbus, "Oualitative Process Theory,"Artificial Intelligence, Vol. 24, July 1983, pp. 85-168.
[8] D. Gentner and A. Stevens, Eds.,Mental Models. Hillsdale, N.J: Lawrence Erlbaum, 1983.
[9] J. Greeno, "Conceptual entities," inMental Models. Hillsdale, NJ: Lawrence Erlbaum, 1983.
[10] D. Halliday and R. Resnick,Physics. New York: Wiley, 1978.
[11] H.J. Kook, "A model-based representational framework for expert physics problem solving," Ph.D. dissertation, Tech. Rep. AI-89- 103, Comput. Sci. Dep., Univ. of Texas at Austin, 1989.
[12] B. Kuipers, "Commonsense reasoning about causality: deriving behavior from structure," inQualitative Reasoning About Physical Systems. Cambridge, MA: MIT Press, pp. 169-204.
[13] J. Larkin, J. McDermott, D. Simon, and H. Simon, "Expert and novice performance in solving physics problems problems,"Science, vol. 208, pp. 1335-1342, 20 June 1980.
[14] J. Larkin, J. McDermott, D. Simon, and H. Simon, "Models of competence in solving physics problems,"Cognitive Sci.vol. 4, pp. 317-345, 1980.
[15] J. Larkin, "The role of problem representation in physics," inMental Models. Hillsdale, NJ: Lawrence Erlbaum, 1983.
[16] M. Lowry, "The abstraction/implementation model of problem reformulation," inProc. IJCAI-87, pp. 1004-1010.
[17] S. Murthy and S. Addanki, "PROMPT: An innovative design tool," inProc. AAAI-87, pp. 637-642.
[18] G. Novak, "Computer understanding of physics problems stated in natural language,"Amer. J. Computational Linguistics, Microfiche 53, 1976. Also available as TR-NL-30, CS Dep., Univ. of Texas at Austin, 1976.
[19] G. Novak, "Representations of knowledge in a program for solving physics problems," inProc. IJCAI-77, 1977, pp. 286-291.
[20] G. Novak and A. Araya, "Physics problem solving using multiple views," TR-173, CS Dep., Univ. of Texas at Austin, 1981.
[21] G. Novak, "GLISP: A LISP-based programming system with data abstraction,"AI Mag., pp. 37-47, Fall, 1983.
[22] G. Novak and W. Bulko, "Understanding natural language with diagrams," inProc. AAAI-90, pp. 465-470.
[23] R. Siegler, Ed.,Children's Thinking: What Develops?Hillsdale, NJ: Lawrence Erlbaum Associates, 1978.
[24] D. Simon and H. Simon, "Individual differences in solving physics problems," inChildren's Thinking: What Develops?. Hillsdale, NJ: Lawrence Erlbaum, 1978.

Index Terms:
models representation; expert problem solving; physics; computer program; APEX; idealized formal models; canonical physical objects; physical models; data connection network; representational framework; multiple representations; knowledge engineering; expert systems; knowledge representation; physics computing
H.J. Kook, G.S. Novak, Jr., "Representation of Models for Expert Problem Solving in Physics," IEEE Transactions on Knowledge and Data Engineering, vol. 3, no. 1, pp. 48-54, March 1991, doi:10.1109/69.75888
Usage of this product signifies your acceptance of the Terms of Use.