The Wikipedia article details the Logic Theorist, created in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. Widely considered the first AI program, it successfully proved 38 of the first 52 theorems in Principia Mathematica, even discovering more elegant proofs than those originally crafted by Russell and Whitehead.
Jeff Shrager has reanimated LT in IPL-V with a new implementation.
https://gordonbell.azurewebsites.net/Computer_Structures__Readings_and_Examples/contents.html
Proc. WJCC, pp. 119-128, 1958.
Chapter 30
A command structure for complex information processing1
J. C. Shaw / A. Newell / H. A. Simon / T. O. Ellis
The general-purpose digital computer, by virtue of its large capacity and general-purpose nature, has opened the possibility of research into the nature of complex mechanisms per se. The challenge is obvious: humans carry out information processing of a complexity that is truly baffling. Given the urge to understand either how humans do it, or alternatively, what kinds of mechanisms might accomplish the same tasks, the computer is turned to as a basic research tool. The varieties of complex information processing will be understood when they can be synthesized: when mechanisms can be created that perform the same processes.
Proc. WJCC, pp. 119-128, 1958.
Chapter 30
A command structure for complex information processing1
J. C. Shaw / A. Newell / H. A. Simon / T. O. Ellis
The general-purpose digital computer, by virtue of its large capacity and general-purpose nature, has opened the possibility of research into the nature of complex mechanisms per se. The challenge is obvious: humans carry out information processing of a complexity that is truly baffling. Given the urge to understand either how humans do it, or alternatively, what kinds of mechanisms might accomplish the same tasks, the computer is turned to as a basic research tool. The varieties of complex information processing will be understood when they can be synthesized: when mechanisms can be created that perform the same processes.
Information Processing Language (IPL) is a programming language created by Allen Newell, Cliff Shaw, and Herbert A. Simon at RAND Corporation and the Carnegie Institute of Technology in 1956. IPL introduced concepts like list processing, dynamic memory allocation, recursion, and cooperative multitasking. It was an assembly language for manipulating lists and influenced several early AI programs. However, it was soon replaced by Lisp due to its more powerful features and simpler syntax.
