A logical framework for commonsense predictions of solid object behaviour

Schwartz, J.T., Burridge, R. and Rajan, V.T. The Peg-in-Hole Problem: Phenomena of Sticking and Jamming for Nearly Rigid Bodies in Frictional Contact, and the Transition from Static to Dynamic Behavior I. Motions in Two Dimensions. In progress Hayes, 1985, The Second Naive Physics Manifesto McDermott, 1987, A Critique of Pure Reason, Computational Intelligence, 10.1111/j.1467-8640.1987.tb00183.x McCloskey, 1983, Naive Theories of Motion 1985 Davis, 1987, Constraint Propagation with Interval Labels, Artificial Intelligence, 32 Fahlman, 1974, A Planning System for Robot Construction Tasks, Artificial Intelligence, 5 de Kleer, 1975, Qualitative and Quantitative Knowledge in Classical Mechanics, MIT AI Lab. Tech. Report No. 352 Bundy, 1978, Will it Reach the Top? Prediction in the Mechanics World, Artificial Intelligence, 10 Forbus, 1979, A Study of Qualitative and Geometric Knowledge in Reasoning about Motion, MIT AI Lab. Tech. Report No. 615 Funt, 1980, Problem Solving with Diagrammatic Representations, Artificial Intelligence, 13 Shoham, 1985, Naive Kinematics: One Aspect of Shape Faltings, 1987, Qualitative Kinematics in Mechanisms Faltings, B. Qualitative Place Vocabularies for Mechanisms in Configuration Space, Tech. Rep. UIUCDCS-R-87-1360, Dept. of Computer Science, University of Illinois at Urbana Gelsey, 1987, Automated Reasoning about Machine Geometry and Kinematics Joskowicz, 1987, Shape and Function in Mechanical Devices Nielsen, 1987 Mason, 1986, Mechanics and Planning of Manipulator Pushing Operations, International Journal of Robotics Research, 5 Peshkin, M.A. and Sanderson, A.C. Planning Robotic Manipulation Strategies for Sliding Objects, Proceedings of the 1987 International Conference on Robotics and Automation Wang, 1986, On Impact Dynamics of Robotic Operations Brooks, 1981, Symbolic Reasoning among 3-D and 2-D images, Artificial Intelligence, 17 Kuipers, 1978, Modelling Spatial Knowledge, Cognitive Science, 2 McDermott, 1984, Planning and Executing Routes through Uncertain Territory, Artificial Intelligence, 22 Davis, 1986 Kilmister, 1966 Fleck, 1987, Representing Space for Practical Reasoning Davis, 1984, Shape and Function of Solid Objects: Some Examples, NYU Tech. Report No. 137 McDermott, 1982, A Temporal Logic for Reasoning about Plans and Processes, Cognitive Science, 101, 10.1207/s15516709cog0602_1 Shoham, 1988 Davis, 1984, An Ontology of Physical Action, NYU Tech. Report No. 123 McCarthy, J. and Hayes, P. Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Machine Intelligence, (Eds B. Meltzer and D. Michies), Edinburgh Davis, 1986, A Logical Framework for Solid Object Physics, NYU Tech. Report No. 245 Hayes, 1985, Naive Physcis I: Ontology for Liquids Bundy, 1983, Using the Method of Fibres in Mecho to Calculate Radii of Gyration Forbus, 1987, Qualitative Kinematics: A Framework Schmolze, J. Physics for Robots, Report No. 6222, BBN Labs