GEO I: A Compiler Approach to Machine Problem-Solving.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1971
- Accession Number
- AD0728689
Entities
People
- Ronald Glenn Osborne
Organizations
- Naval Postgraduate School