DSpace Repository

Automated Reasoning About Classical Mechanics

Show simple item record

dc.creator Wong, Leon
dc.date 2004-10-20T20:29:11Z
dc.date 2004-10-20T20:29:11Z
dc.date 1994-05-01
dc.date.accessioned 2013-10-09T02:48:10Z
dc.date.available 2013-10-09T02:48:10Z
dc.date.issued 2013-10-09
dc.identifier AITR-1488
dc.identifier http://hdl.handle.net/1721.1/7081
dc.identifier.uri http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.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.
dc.format 605813 bytes
dc.format 822352 bytes
dc.format application/postscript
dc.format application/pdf
dc.language en_US
dc.relation AITR-1488
dc.title Automated Reasoning About Classical Mechanics


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account