Symbolic AI
Logic, search, rule-based reasoning.
53 milestones used this technique.
OpenCog Artificial General Intelligence Framework Introduced
In 2008, Ben Goertzel and colleagues at the Singularity Institute for Artificial Intelligence publicly introduced OpenCog, an open-source software framework designed to support research into artificial general intelligence by integrating multiple cognitive subsystems within a shared knowledge store called the AtomSpace.
Berners-Lee Proposes the Semantic Web
In 1999–2001, Tim Berners-Lee, director of the World Wide Web Consortium, outlined the Semantic Web vision, a machine-readable extension of the existing web in which data would carry explicit meaning, culminating in a widely cited May 2001 Scientific American article co-authored with James Hendler and Ora Lassila.
Deep Blue Defeats Garry Kasparov in Six-Game Rematch
In May 1997, IBM's Deep Blue chess-playing system defeated reigning world champion Garry Kasparov over a six-game match by a score of 3½–2½, becoming the first computer system to defeat a reigning world chess champion under standard tournament conditions.
ALICE Chatbot Created by Richard S. Wallace
In 1995, Richard S. Wallace, an independent AI researcher, created ALICE (Artificial Linguistic Internet Computer Entity), a natural-language chatbot that used a pattern-matching markup language called AIML to generate contextually plausible conversational responses, later influencing a generation of open-source chatbot development.
Chinook Defeats Marion Tinsley to Win the American Checkers Federation and World Checkers Federation Championship
In 1994, Chinook, a checkers-playing program developed by Jonathan Schaeffer and colleagues at the University of Alberta, became world champion after Marion Tinsley withdrew from their match due to illness, making it the first computer program to win a human world championship in any board game.
WebCrawler Developed by Brian Pinkerton at the University of Washington
In spring 1994, Brian Pinkerton at the University of Washington deployed WebCrawler, a web search engine that used an automated crawler to index the full text of web pages, enabling users to search document content rather than titles or URLs alone.
Elephants Don't Play Chess by Rodney Brooks
In 1990, Rodney Brooks of MIT's Artificial Intelligence Laboratory published 'Elephants Don't Play Chess' in Robotics and Autonomous Systems, arguing that classical symbolic AI was fundamentally misconceived and that intelligence emerges from direct physical interaction with the environment rather than from abstract symbol manipulation.
Rodney Brooks Publishes 'Elephants Don't Play Chess', Articulating Nouvelle AI
In 1990, Rodney Brooks of MIT published 'Elephants Don't Play Chess' in Robotics and Autonomous Systems, arguing that intelligent behaviour could emerge from direct sensorimotor coupling with the environment without internal symbolic representations, formalising the nouvelle AI research programme.
Jabberwacky Chatbot Developed by Rollo Carpenter
In 1988, British programmer Rollo Carpenter began developing Jabberwacky, a chatbot that simulated conversation by storing and retrieving lines from prior user exchanges rather than using fixed scripted responses, with the aim of exploring machine-based natural language interaction.
Second AI Winter
From approximately 1987 to 1993, AI research entered a second sustained contraction as commercial expert-system vendors collapsed, the Lisp machine market failed, and DARPA substantially reduced funding for AI programmes following unmet expectations from the preceding boom.
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.
HAM-ANS Natural Language Dialog System (University of Hamburg, 1983)
In 1983, Wolfgang Hoeppner, Katharina Morik, and Heinz Marburger at the University of Hamburg presented HAM-ANS, a natural language dialog system enabling users to query databases in ordinary German, demonstrated at the GWAI-83 workshop and published in Springer's Lecture Notes in Computer Science series.
SOAR Cognitive Architecture: Doctoral Dissertations by John E. Laird and Paul S. Rosenbloom, Supervised by Allen Newell
In 1983, John E. Laird and Paul S. Rosenbloom completed doctoral dissertations at Carnegie Mellon University under Allen Newell, introducing SOAR, a cognitive architecture designed to support a broad range of intelligent tasks through a unified problem-space model and a chunking-based learning mechanism.
INTERNIST-I Developed by Jack D. Myers and Harry E. Pople Jr.
Jack D. Myers and Harry E. Pople Jr. at the University of Pittsburgh developed INTERNIST-I, an expert system for internal medicine diagnosis, with its principal public evaluation published in the New England Journal of Medicine in 1982. The system encoded knowledge of roughly 500 diseases and 3,500 symptoms, demonstrating that algorithmic clinical reasoning could approach specialist performance on complex cases.
Primal Sketch Theory of Early Visual Representation Described by David Marr
David Marr, working at MIT's Artificial Intelligence Laboratory, formalised the primal sketch as the first stage of his three-level theory of visual processing, published posthumously in 'Vision' (1982). The model proposed that the visual system constructs a symbolic, viewer-centred description of intensity changes and local geometry before any object recognition takes place.
RB5X Personal Robot Introduced by RB Robot Corporation
In 1982, RB Robot Corporation, founded by Joseph Bosworth, introduced the RB5X, a dome-shaped autonomous personal robot programmable in TinyBASIC or the proprietary Savvy language, equipped with sonar, photodiode, and bumper sensors for navigating domestic environments without direct human guidance.
Fifth Generation Computer Systems Project, Japan
In October 1981, Japan's Ministry of International Trade and Industry launched the Fifth Generation Computer Systems project, a ten-year state-funded programme delegated to the newly created Institute for New Generation Computer Technology (ICOT), aiming to build computers capable of logical inference, natural-language processing, and machine vision, with a budget of approximately 54 billion yen.
Blackboard Model Description by Lee Erman, Richard Hayes-Roth, Victor Lesser and D. Raj Reddy
In May 1980, Lee Erman, Richard Hayes-Roth, Victor Lesser and D. Raj Reddy published 'The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty' in Artificial Intelligence, vol. 14, providing the canonical description of the blackboard model as a structured framework for cooperative problem-solving among independent knowledge sources.
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.
XCON (R1) Expert System Developed by John P. McDermott at Carnegie Mellon University
John P. McDermott at Carnegie Mellon University developed R1 (later named XCON), a rule-based expert system built in OPS5, in collaboration with Digital Equipment Corporation. Deployed operationally by DEC in 1980, it automatically configured VAX-11/780 computer orders, replacing a labour-intensive manual process.
BKG 9.8: Hans Berliner's Backgammon Program Defeats World Champion Luigi Villa
In July 1979, Hans Berliner of Carnegie Mellon University demonstrated BKG 9.8, a backgammon-playing program, in a money match in Monte Carlo against reigning world champion Luigi Villa, winning 7–1. It was the first computer program to defeat a world champion in a board game under competitive conditions.
Boris Chess Computer Released by Applied Concepts
In 1978, Applied Concepts released Boris, a dedicated chess-playing microcomputer programmed by David Lindsay and running on a Fairchild F8 processor with 256 bytes of RAM. It was among the earliest mass-market standalone chess computers available to home consumers.
MOLGEN: AI Planning and Constraint Satisfaction for Molecular Biology Experiment Design
In 1978, Mark Stefik at Stanford University's Heuristic Programming Project developed MOLGEN, an expert system that applied AI planning and constraint-satisfaction techniques to the design of molecular biology experiments, demonstrating that structured reasoning could automate complex scientific problem-solving in genetics and cloning.
Meta-Level Knowledge in Expert Systems: Davis and Lenat's Formalisation at Stanford
In 1977, Randall Davis and Douglas Lenat at Stanford University published research formalising meta-level knowledge, a system's explicit representations of its own knowledge and reasoning strategies, and demonstrated its application in the MYCIN and AM expert systems to improve inference control and self-directed learning.
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.
ABSTRIPS Developed by Earl Sacerdoti at SRI International
In 1974, Earl Sacerdoti at SRI International published ABSTRIPS, an extension of the STRIPS planning system that organised problem-solving into a hierarchy of abstraction spaces, allowing a planner to resolve high-level constraints before committing to fine-grained detail.
Aaron: Harold Cohen's Generative Art Programme
From 1973, Harold Cohen at the University of California San Diego developed Aaron, a rule-based programme that autonomously generated original drawings by encoding explicit conditions for artistic decision-making, making it one of the earliest sustained AI systems for creative production.
FREDDY II Robot, University of Edinburgh Department of Machine Intelligence and Perception
By 1973, researchers at the University of Edinburgh's Department of Machine Intelligence and Perception had developed FREDDY II, a robot arm system that used computer vision and tactile feedback to identify and assemble simple objects from a pile of scattered parts, demonstrating integrated perception and manipulation in a single robotic system.
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.
Lighthill Report on Artificial Intelligence
In 1973, Sir James Lighthill, Lucasian Professor of Applied Mathematics at the University of Cambridge, delivered a report to the UK Science Research Council concluding that AI research had failed to meet its stated goals, citing the 'combinatorial explosion' as the decisive technical barrier. The report prompted sharp cuts to UK government funding for AI.
WABOT-1 Completed at Waseda University
In 1973, researchers at Waseda University in Japan completed WABOT-1, a full-scale anthropomorphic robot integrating limb control, machine vision, and Japanese-language conversation. It was among the earliest humanoid robots to combine locomotion, manipulation, and speech interaction in a single system.
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.
Prolog Logic Programming Language Created by Alain Colmerauer and Philippe Roussel
In 1972, Alain Colmerauer and Philippe Roussel at the University of Aix-Marseille created Prolog (Programmation en Logique), a declarative programming language grounded in first-order predicate logic, enabling computers to reason over symbolic knowledge without requiring procedural step-by-step instructions.
Smalltalk-72 Developed at Xerox PARC by Alan Kay, Dan Ingalls, and Adele Goldberg
In 1972, Alan Kay and Dan Ingalls at Xerox PARC produced Smalltalk-72, the first working implementation of the Smalltalk language, which embodied Kay's concept of object-oriented programming in which all computation proceeds by objects sending messages to one another.
Augmented Transition Networks Introduced by William A. Woods
In 1970, William A. Woods of Bolt Beranek and Newman published 'Transition Network Grammars for Natural Language Analysis' in Communications of the ACM, introducing Augmented Transition Networks (ATNs) as a formalism for parsing natural language by extending finite-state transition networks with recursion and registers, enabling more expressive grammatical coverage.
SCHOLAR Intelligent Tutoring System Developed by Jaime Carbonell Sr.
Around 1970, Jaime Carbonell Sr. at Bolt Beranek and Newman (BBN) developed SCHOLAR, a computer-assisted instruction program that used a semantic network of geographical knowledge to conduct mixed-initiative tutorial dialogues, marking an early attempt to build adaptive, knowledge-based educational software.
SHRDLU Natural Language Understanding Program Developed by Terry Winograd at MIT
In 1970, Terry Winograd at the Massachusetts Institute of Technology completed SHRDLU, a natural language understanding program that allowed a user to converse in English about a simulated world of coloured blocks, demonstrating that a computer could parse and respond to complex grammatical instructions within a constrained domain.
Stanford Computer Forum Founded as Industry–Academia Bridge
In May 1968, Stanford professors Ed McCluskey, Arthur Samuel, and William Miller founded the Stanford Computer Forum, an industrial affiliates programme linking the university's electrical engineering and computer science research, including AI work, with corporate partners across Silicon Valley.
2001: A Space Odyssey Released, Featuring HAL 9000
In April 1968, Stanley Kubrick and Arthur C. Clarke's film 2001: A Space Odyssey introduced HAL 9000, a fictional shipboard AI capable of natural speech, lip-reading, chess play, and autonomous decision-making. The portrayal became a lasting cultural reference in debates about machine intelligence, autonomy, and the risks of over-reliance on automated systems.
A* Search Algorithm Published by Hart, Nilsson, and Raphael at Stanford Research Institute
In 1968, Peter E. Hart, Nils J. Nilsson, and Bertram Raphael at the Stanford Research Institute published 'A Formal Basis for the Heuristic Determination of Minimum Cost Paths', introducing the A* search algorithm, which finds shortest paths in graphs efficiently by combining actual path cost with a heuristic estimate of remaining cost.
Analogy: A Program That Solves Geometric Analogy Problems by Thomas C. Evans
Thomas C. Evans, working at MIT, developed ANALOGY, a program capable of solving geometric analogy problems of the type found in standard IQ tests. First presented in dissertation form in 1963 and formally published in 1968, it demonstrated that a computer could perform a structured form of relational reasoning.
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.
ELIZA Developed by Joseph Weizenbaum at MIT
In January 1966, Joseph Weizenbaum of MIT published a paper in Communications of the ACM describing ELIZA, a computer program that simulated conversation by applying pattern-matching rules to user input, and documented the unexpected tendency of human users to attribute understanding and empathy to the system.
DENDRAL Project, Stanford University
Beginning in 1965, Edward Feigenbaum, Bruce Buchanan, and Joshua Lederberg at Stanford University launched the DENDRAL project, a computer program designed to infer molecular structure from mass spectrometry data, becoming one of the earliest programs to encode specialist scientific knowledge as explicit rules.
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.
Machine Perception of Three-Dimensional Solids, Lawrence Gilman Roberts (MIT Lincoln Laboratory)
In 1963, Lawrence Gilman Roberts, working at MIT Lincoln Laboratory, completed his doctoral thesis demonstrating that a computer could interpret a 2D photograph of polyhedral objects, reconstruct their 3D structure, and re-render them from arbitrary viewpoints with hidden lines removed, establishing foundational methods for machine interpretation of three-dimensional scenes.
Sketchpad Demonstrated by Ivan Sutherland at MIT
In 1963, Ivan Sutherland at MIT's Lincoln Laboratory developed Sketchpad, a computer programme that allowed a user to draw and manipulate geometric figures directly on a screen using a light pen, establishing foundational concepts for interactive computer graphics and graphical user interfaces.
IBM Shoebox Speech-Recognition Device Demonstrated
In 1962, IBM publicly demonstrated the Shoebox, a hardware device capable of recognising sixteen spoken English words, the digits zero through nine plus six arithmetic commands, and using that input to drive a calculating machine in real time, showing that limited-vocabulary speech recognition was mechanically feasible.
James Slagle Completes SAINT: A Symbolic Automatic Integrator
In 1961, James R. Slagle at MIT completed SAINT (Symbolic Automatic INTegrator), a heuristic program that solved indefinite integration problems at the level of a first-year calculus student, demonstrating that symbolic mathematical reasoning could be encoded in a computer program.
General Problem Solver introduced by Newell, Shaw and Simon
In 1959, Allen Newell and Herbert A. Simon at the RAND Corporation and Carnegie Institute of Technology, with J. C. Shaw, presented the General Problem Solver, a computer program that separated problem-solving strategy from domain knowledge using means–ends analysis.
The Logic Theorist: first automatic theorem-proving program, developed by Newell, Shaw, and Simon
In late 1955, Allen Newell, J. Clifford Shaw, and Herbert A. Simon at RAND Corporation and Carnegie Institute of Technology completed the Logic Theorist, a computer program that proved mathematical theorems from Whitehead and Russell's Principia Mathematica by heuristic search, establishing that symbolic reasoning could be mechanised.
Programming a Computer for Playing Chess, Claude Shannon
In March 1950, Claude Shannon, then at Bell Telephone Laboratories, published 'Programming a Computer for Playing Chess' in Philosophical Magazine, outlining two strategic approaches, exhaustive search (Type A) and selective heuristic search (Type B), that framed computer chess research for decades.