Accession Number : AD0422841

Title :   EMPIRICAL EXPLORATIONS OF THE LOGIC THEORY MACHINE. A CASE STUDY IN HEURISTICS,

Corporate Author : RAND CORP SANTA MONICA CALIF

Personal Author(s) : Newell ,A. ; Shaw ,J. C. ; Simon,H. A.

Report Date : 14 MAR 1957

Pagination or Media Count : 48

Abstract : The Logic Theory Machine is a program that discovers proofs for theorems in elementary symbolic logic. It does this, not by means of an algorithm (although such algorithms exist), but by using heuristic devices, such as a human does. It is being studied as part of a research effort directed toward understanding the processes involved in learning, problem-solving, recognizing patterns, etc. This paper presents the results of detailed explorations of the program on RAND's JOHNNIAC. It describes the program and evaluates the role of the various methods, and heuristics in contributing to the total problem solving capability of the machine. (Author)

Descriptors :   *ALGEBRAS, *DIGITAL COMPUTERS, DIGITAL COMPUTERS, REASONING, TOPOLOGY

Distribution Statement : APPROVED FOR PUBLIC RELEASE