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. This system is programmed to solve problems in a manner similar to that of human beings.