Automated Reasoning about Classical Mechanics.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1994
Accession Number
ADA290052

Entities

People

  • Leon Wong

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Cartesian Coordinates
  • Computer Science
  • Construction
  • Coordinate Systems
  • Differential Equations
  • Engineering
  • Equations
  • Geometry
  • Mathematical Models
  • Mechanics
  • Molecular Mechanics Methods
  • Reasoning
  • Simulators
  • Sliding Friction
  • Two Dimensional

Readers

  • Neural Network Machine Learning.
  • Systems Analysis and Design

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms