GEO I: A Compiler Approach to Machine Problem-Solving.
NAVAL POSTGRADUATE SCHOOL MONTEREY CALIF
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware