Automated Reasoning About Classical Mechanics
In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program that generates...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/7081 |
| _version_ | 1826196711404470272 |
|---|---|
| author | Wong, Leon |
| author_facet | Wong, Leon |
| author_sort | Wong, Leon |
| collection | MIT |
| description | In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program that generates algebraic descriptions of how systems of rigid bodies evolve over time. Discussion about the design of this program identifies a physical reasoning paradigm and knowledge representation approach based on mathematical model construction and algebraic reasoning. This paradigm offers several advantages over methods that have become popular in the field, and seems promising for reasoning about a wide variety of classical mechanics problems. |
| first_indexed | 2024-09-23T10:36:14Z |
| id | mit-1721.1/7081 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T10:36:14Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/70812019-04-12T08:35:39Z Automated Reasoning About Classical Mechanics Wong, Leon In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program that generates algebraic descriptions of how systems of rigid bodies evolve over time. Discussion about the design of this program identifies a physical reasoning paradigm and knowledge representation approach based on mathematical model construction and algebraic reasoning. This paradigm offers several advantages over methods that have become popular in the field, and seems promising for reasoning about a wide variety of classical mechanics problems. 2004-10-20T20:29:11Z 2004-10-20T20:29:11Z 1994-05-01 AITR-1488 http://hdl.handle.net/1721.1/7081 en_US AITR-1488 605813 bytes 822352 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Wong, Leon Automated Reasoning About Classical Mechanics |
| title | Automated Reasoning About Classical Mechanics |
| title_full | Automated Reasoning About Classical Mechanics |
| title_fullStr | Automated Reasoning About Classical Mechanics |
| title_full_unstemmed | Automated Reasoning About Classical Mechanics |
| title_short | Automated Reasoning About Classical Mechanics |
| title_sort | automated reasoning about classical mechanics |
| url | http://hdl.handle.net/1721.1/7081 |
| work_keys_str_mv | AT wongleon automatedreasoningaboutclassicalmechanics |