UMBC ebiquity
The Logic Theory Machine — a Complex Information Processing System
In this paper, RAND researchers describe a complex information-processing system — the logic theory machine — capable of discovering proofs for theorems in symbolic logic. In contrast to the systematic algorithms ordinarily employed in computation, this system relies heavily on heuristic methods similar to those that have been observed in human problem-solving activity. The specification is written in a formal language, of the nature of a pseudo-code, that is suitable for coding for digital computers. However, the authors are concerned with the specification of the system rather than its realization in a computer. The logic theory machine is part of a program of research to understand complex information-processing systems by specifying and synthesizing a substantial variety of such systems for empirical study.
TechReport
RAND Corporation
P-868
Downloads: 7 downloads