THE LOGIC THEORY MACHINE A COMPLEX INFORMATION PROCESSING SYSTEM,

Abstract

A complex information processing system is described; it is called the logic theory machine and is capable of discovering proofs for theorems in symbolic logic. This system, in contrast to the systematic algorithms that are ordinarily employed in computation, 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. 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. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jul 12, 1956
Accession Number
AD0422840

Entities

People

  • Allen Newell
  • Herbert Simon

Organizations

  • RAND Corporation

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Programming
  • Computers
  • Digital Computers
  • Engineers
  • Formal Languages
  • Heuristic Methods
  • Information Processing
  • Information Systems
  • Information Theory
  • Language

Fields of Study

  • Computer science

Readers

  • Computer Engineering
  • Database Systems and Applications
  • Systems Analysis and Design