Accession Number : AD0453449


Title :   THE LOGIC THEORY MACHINE: A MODEL HEURISTIC PROGRAM,


Corporate Author : RAND CORP SANTA MONICA CALIF


Personal Author(s) : Stefferud,Einar


Report Date : Jun 1963


Pagination or Media Count : 187


Abstract : This Memorandum contains a highly detailed program listing for the Logic Theory Machine (LT), a computer program written in Information Processing Language-V (IPL-V), and developed especially for use as a pedagogical model. The text portions of the Memorandum expand upon the documentation in the listing, tracing program flow, analyzing routines utilized, and providing insight into the structure and the development of the program. LT was originally programmed in an early version of IPL by Newell, Shaw, and Simon to derive proofs of logic expressions in the sentential calculus of Whitehead and Russell. In rewriting the program for use as a teaching aid, a new method of replacement on subexpressions has been included, and many minor changes effecting improvements in clarity have been incorporated. Features of the code that were unjustifiably hard to explain have been simplified. The Memorandum defines LT's activity in terms of problem solving, and then a representation of the defined problem is given in terms of IPL-V. Finally, what LT does is discussed in terms of process hierarchies which operate on the lists structure representations of logic expressions. (Author)


Descriptors :   *MATHEMATICAL LOGIC , COMPUTER PROGRAMMING , EDUCATION , SIMULATION


Distribution Statement : APPROVED FOR PUBLIC RELEASE