This repository provides an implementation and recreation of the first published version of the Logic Theory Machine, also known as the Logic Theorist. Originally developed by Allen Newell, J. C. Shaw, and Herbert A. Simon in 1956, this program was designed to prove theorems in propositional logic using principles from Principia Mathematica. The project includes a Python-based interpreter for the IPL-I abstract machine language, tools to run the program against historical axioms and theorems, and utilities to analyze generated proofs.
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
This paper details the reconstruction and execution of the Logic Theorist (LT), considered the first artificial intelligence program, originally created in 1955-1956. The authors built a new IPL-V interpreter in Common Lisp and faithfully reanimated LT from code transcribed from a 1963 RAND technical report. The reanimated LT successfully proved 16 of 23 theorems from Principia Mathematica, consistent with the original system's behavior. This work demonstrates "executable archaeology" as a method for understanding early AI systems, highlighting the challenges and insights gained from reconstructing and running historical code.
- Raph Levien, who is an expert in Rust and rendering on GPUs, who founded Advogato, and who designed Inconsolata, a great monospace font. His talk's title is *I Want a Good Parallel Language*.
- Jeff Shrager will give a talk on reviving early AI programs like ELIZA and IPL-V. His talk's title is *RetroAI: Reanimating the Earliest AIs in the Lost Languages that Predated Lisp*.
- Jeff Shrager will give a talk on reviving early AI programs like ELIZA and IPL-V. His talk's title is *RetroAI: Reanimating the Earliest AIs in the Lost Languages that Predated Lisp*.
This GitHub repository contains a re-implementation of the IPL-V programming language and the Logic Theorist (LT) program. It includes the original code transcribed into a TSV format and converted to Lisp, along with documentation and debugging tools.
Jeff Shrager has reanimated LT in IPL-V with a new implementation.
Researchers discovered long-lost computer code and used it to resurrect the early chatbot ELIZA from MIT. Named after Eliza Doolittle from 'Pygmalion,' ELIZA was developed in the 1960s by MIT professor Joseph Weizenbaum. It was designed to emulate a psychotherapist in conversation and used a unique programming language called MAD-SLIP. Rediscovered in 2021, the original code was brought back to life after 60 years, demonstrating the chatbot's functionality and highlighting the historical significance of early artificial intelligence.
The ELIZA chatbot, created in the 1960s by Joseph Weizenbaum at MIT, has been painstakingly reconstructed from archived records and run for the first time in over half a century. This effort marks a significant step in preserving one of the earliest examples of artificial intelligence. Despite its rudimentary nature compared to modern AI, ELIZA's resurrection highlights its historical importance.
The original 1965 chatbot restored on the world's first time-sharing system, ELIZA, created by Joseph Weizenbaum at MIT in 1964-6, is running again on a reconstructed version of MIT's CTSS, running on an emulated IBM 7094.
An interdisciplinary research project exploring the history and ideas behind the influential ELIZA chatbot, created in the 1960s. The project aims to contextualize ELIZA, analyze its code, and examine its cultural impact on human-computer interaction.
