Accession Number : ADA290052

Title :   Automated Reasoning about Classical Mechanics.

Descriptive Note : Technical rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Wong, Leon

PDF Url : ADA290052

Report Date : MAY 1994

Pagination or Media Count : 108

Abstract : 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. (AN)

Descriptors :   *REASONING, *ARTIFICIAL INTELLIGENCE, KINEMATICS, VELOCITY, MATHEMATICAL MODELS, COMPUTERIZED SIMULATION, SOFTWARE ENGINEERING, AUTOMATION, ALGEBRA, MOTION, LEARNING MACHINES, THESES, PROBLEM SOLVING, MATHEMATICAL PREDICTION, KNOWLEDGE BASED SYSTEMS, BEHAVIOR, RIGIDITY, FORCE(MECHANICS).

Subject Categories : Cybernetics
      Mechanics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE