Accession Number:

AD0728689

Title:

GEO I: A Compiler Approach to Machine Problem-Solving.

Descriptive Note:

Master's thesis,

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CALIF

Personal Author(s):

Report Date:

1971-06-01

Pagination or Media Count:

76.0

Abstract:

The work described herein should be viewed as experimental research in the area of machine problem-solving. The essence of such study is the utilization of a digital computer for the discovery of problem solutions in regions which normally require the human faculty labelled intelligence. The domain of this effort was elementary Plane Geometry, including all of the assumptions, theorems and corollaries and their associated exercises normally considered in a first course. The ultimate goal was a machine which could attain a passing score on a final examination over the subject matter. The vehicle employed is a sizable computer program, designed and implemented under the facilities of a compiler generating system for execution on the IBM System 360. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE