A logical framework for commonsense predictions of solid object behaviour

Abstract Predicting the behaviour of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods based upon formulating and solving differential equations are not adequate for robust prediction, since the behaviour of a system over extended time may be much simpler than its behaviour over local time. This paper presents a first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.

[1]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[2]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[3]  Matthew T. Mason,et al.  Mechanics and Planning of Manipulator Pushing Operations , 1986 .

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

[5]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[6]  Boi Faltings,et al.  Qualitative Kinematics: A Framework , 1987, IJCAI.

[7]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[8]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[9]  Margaret M. Fleck.  Representing space for practical reasoning , 1988, Image Vis. Comput..

[10]  Brian V. Funt,et al.  Problem-Solving with Diagrammatic Representations , 1980, Artif. Intell..

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

[12]  Ernest Davis,et al.  Representing and Acquiring Geographic Knowledge , 1986 .

[13]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

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

[15]  Yoav Shoham,et al.  Naive Kinematics: One Aspect of Shape , 1985, IJCAI.

[16]  Boi Faltings.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[17]  Leo Joskowicz.  Shape and Function in Mechanical Devices , 1987, AAAI.

[18]  B. Kuipers.  Modelling spatial knowledge , 1977, IJCAI 1977.

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

[20]  Drew McDermott,et al.  Planning Routes Through Uncertain Territory , 1983, Artif. Intell..

[21]  Alan Bundy.  Using the Method of Fibres in Mecho to Calculate Radii of Gyration , 1983 .

[22]  Paul Nielsen.  A Qualitative Approach to Mechanical Constraint , 1988, AAAI.

[23]  Andrew Gelsey.  Automated Reasoning about Machine Geometry and Kinematics , 1989 .

[24]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

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

[26]  Yu Wang,et al.  On impact dynamics of robotic operations , 1986 .

[27]  Arthur C. Sanderson,et al.  Planning robotic manipulation strategies for sliding objects , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[28]  Kenneth Dale Forbus.  A Study of Qualitative and Geometric Knowledge in Reasoning about Motion. Revision. , 1981 .