A Study of Qualitative and Geometric Knowledge in Reasoning about Motion
Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of balls moving through space constrained by collisions with surfaces, including d...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6863 |
| _version_ | 1826216988965339136 |
|---|---|
| author | Forbus, Kenneth D. |
| author_facet | Forbus, Kenneth D. |
| author_sort | Forbus, Kenneth D. |
| collection | MIT |
| description | Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of balls moving through space constrained by collisions with surfaces, including dissipative forces and multiple moving objects. An analog geometry representation serves the program as a diagram, allowing many spatial questions to be answered by numeric calculation. It also provides the foundation for the construction and use of place vocabulary, the symbolic descriptions of space required to do qualitative reasoning about motion in the domain. The actual motion of a ball is described as a network consisting of descriptions of qualitatively distinct types of motion. Implementing the elements of these networks in a constraint language allows the same elements to be used for both analysis and simulation of motion. A qualitative description of the actual motion is also used to check the consistency of assumptions about motion. A process of qualitative simulation is used to describe the kinds of motion possible from some state. The ambiguity inherent in such a description can be reduced by assumptions about physical properties of the ball or assumptions about its motion. Each assumption directly rules out some kinds of motion, but other knowledge is required to determine the indirect consequences of making these assumptions. Some of this knowledge is domain dependent and relies heavily on spatial descriptions. |
| first_indexed | 2024-09-23T16:56:38Z |
| id | mit-1721.1/6863 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:56:38Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/68632019-04-12T08:32:40Z A Study of Qualitative and Geometric Knowledge in Reasoning about Motion Forbus, Kenneth D. Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of balls moving through space constrained by collisions with surfaces, including dissipative forces and multiple moving objects. An analog geometry representation serves the program as a diagram, allowing many spatial questions to be answered by numeric calculation. It also provides the foundation for the construction and use of place vocabulary, the symbolic descriptions of space required to do qualitative reasoning about motion in the domain. The actual motion of a ball is described as a network consisting of descriptions of qualitatively distinct types of motion. Implementing the elements of these networks in a constraint language allows the same elements to be used for both analysis and simulation of motion. A qualitative description of the actual motion is also used to check the consistency of assumptions about motion. A process of qualitative simulation is used to describe the kinds of motion possible from some state. The ambiguity inherent in such a description can be reduced by assumptions about physical properties of the ball or assumptions about its motion. Each assumption directly rules out some kinds of motion, but other knowledge is required to determine the indirect consequences of making these assumptions. Some of this knowledge is domain dependent and relies heavily on spatial descriptions. 2004-10-20T20:03:06Z 2004-10-20T20:03:06Z 1981-02-01 AITR-615 http://hdl.handle.net/1721.1/6863 en_US AITR-615 123 p. 16606541 bytes 6076726 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Forbus, Kenneth D. A Study of Qualitative and Geometric Knowledge in Reasoning about Motion |
| title | A Study of Qualitative and Geometric Knowledge in Reasoning about Motion |
| title_full | A Study of Qualitative and Geometric Knowledge in Reasoning about Motion |
| title_fullStr | A Study of Qualitative and Geometric Knowledge in Reasoning about Motion |
| title_full_unstemmed | A Study of Qualitative and Geometric Knowledge in Reasoning about Motion |
| title_short | A Study of Qualitative and Geometric Knowledge in Reasoning about Motion |
| title_sort | study of qualitative and geometric knowledge in reasoning about motion |
| url | http://hdl.handle.net/1721.1/6863 |
| work_keys_str_mv | AT forbuskennethd astudyofqualitativeandgeometricknowledgeinreasoningaboutmotion AT forbuskennethd studyofqualitativeandgeometricknowledgeinreasoningaboutmotion |