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.
"This Memorandum sets out the complete rules for coding in Information Processing Language-V (IPL-V), and documents extensions incorporated since publication of the Information Processing Language-V Manual. A summary of extensions and the minor modifications to the language is contained in the final section ($25.0). IPL-V processors are available for the IBM 650, 704, 709, 7090, 7094, Philco 2000, Bendix G-20, CDC 1604, UNIVAC 1105, and the AN/FSQ-32. A system for the Burroughs 220 is under development. Machine system write-ups are available for the various machines on which IPL-V is being used. These write-ups contain differences in the language peculiar to each machine, and must be consulted before using IPL-V. An index, a list of the basic IPL-V processes, and a full-scale copy of the coding sheet, suitable for photo- reproduction, appear at the end of the Memorandum."
Abstract:
This paper is an informal introduction to Information Processing Language V (IPL-V), a symbol and list-struc- ture manipulating language presently implemented on the IBM 650, 704 and 709. It contains a discussion of the problem context in which a series of Information Proc- essing Languages has developed and of the basic concepts incorporated in IPL-V. A complete description of the language can be found in the IPL-V Programmer's Manual
This paper is an informal introduction to Information Processing Language V (IPL-V), a symbol and list-struc- ture manipulating language presently implemented on the IBM 650, 704 and 709. It contains a discussion of the problem context in which a series of Information Proc- essing Languages has developed and of the basic concepts incorporated in IPL-V. A complete description of the language can be found in the IPL-V Programmer's Manual
