Lisp
Programming language created in 1958, widely used in early AI research for its symbolic data processing and flexibility.
8 milestones
W. Daniel Hillis Proposes the Connection Machine Architecture
In 1985, W. Daniel Hillis of MIT and Thinking Machines Corporation completed his doctoral dissertation introducing the Connection Machine, a massively parallel architecture connecting 65,536 single-bit processors to accelerate symbolic and artificial-intelligence computation, realised as the CM-1 system.
Commercial Lisp Machine Market: Symbolics and LMI
From 1980 onwards, Symbolics Inc. and Lisp Machines Inc. (LMI), both founded as spin-offs from the MIT Artificial Intelligence Laboratory, commercialised dedicated hardware workstations designed to run Lisp natively, offering large address spaces, garbage collection in hardware, and early graphical interfaces tailored to AI development.
AM: Automated Mathematician Developed by Douglas Lenat
In 1976, Douglas Lenat at Stanford University completed AM (Automated Mathematician), a heuristic program that explored elementary mathematics by modifying and combining LISP-coded concepts, discovering properties such as prime numbers without being explicitly programmed to do so.
Human Associative Memory (HAM) Model Published by John R. Anderson and Gordon H. Bower
In 1973, John R. Anderson and Gordon H. Bower, both at Stanford University, published 'Human Associative Memory', introducing the HAM model, a propositional network architecture representing semantic memory as binary trees, providing a computationally explicit theory of human memory that influenced subsequent cognitive architectures.
MYCIN: A Rule-Based Expert System for Infectious Disease Diagnosis, Developed at Stanford University
Beginning around 1972, Edward Shortliffe at Stanford University developed MYCIN, a rule-based expert system written in Lisp that used approximately 600 if-then rules to diagnose bacterial blood infections and recommend antibiotic treatments adjusted for patient body weight, establishing a widely studied model for clinical decision support.
SRI International Begins Development of Shakey the Robot
From 1966, researchers at the Stanford Research Institute (led by Charles Rosen and including Nils Nilsson, Bertram Raphael, and Peter Hart) developed Shakey, a mobile robot that combined computer vision, natural language input, and automated planning to navigate and manipulate objects in a real environment.
STUDENT: Daniel G. Bobrow's Natural Language Algebra Problem Solver
In 1964, Daniel G. Bobrow, then a doctoral student at MIT, completed STUDENT, a LISP-based program that read English-language algebra word problems and solved them symbolically. It was among the earliest demonstrations that a computer could parse and act on natural-language mathematical statements.
SIR (Semantic Information Retrieval) by Bertram Raphael, MIT
In 1964, Bertram Raphael at MIT completed his doctoral thesis describing SIR (Semantic Information Retrieval), a LISP program that answered English-language questions about simple relational facts by constructing an internal semantic model. It was an early demonstration that a computer could parse and reason over a restricted subset of natural language.