The Power of Physical Representations

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations.

[1]  Varol Akman,et al.  Knowledge engineering in design , 1988, Knowl. Based Syst..

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

[3]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[4]  B. Veth,et al.  An integrated data description language for coding design knowledge , 1989 .

[5]  James G. Schmolze Physics for Robots , 1986, AAAI.

[6]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[7]  Alan Bundy,et al.  Will it Reach the Top? Prediction in the Mechanics World , 1978, Artif. Intell..

[8]  Y. Shoham Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[9]  Benjamin Kuipers,et al.  Taming Intractible Branching in Qualitative Simulation , 1987, IJCAI.

[10]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[11]  M. McCloskey Naive Theories of Motion. , 1982 .

[12]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[13]  Andrea A. diSessa,et al.  Unlearning Aristotelian Physics: A Study of Knowledge-Based Learning , 1982, Cogn. Sci..

[14]  Johan de Kleer Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.

[15]  Varol Akman,et al.  Design as a formal, knowledge engineered activity , 1987 .

[16]  Kenneth D. Forbus,et al.  Learning Physical Domains: Toward a Theoretical Framework. , 1986 .

[17]  T. Mckeown Mechanics , 1970, The Mathematics of Fluid Flow Through Porous Media.

[18]  R. Feynman The Feynman lectures on physics : mainly mechanics, radiation, and heat / by Richard P. Feynman, Robert B. Leighton, Matthew Sands , 1963 .

[19]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[20]  李幼升,et al.  Ph , 1989 .

[21]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[22]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..