ACHIEVEMENTS.AI

Expert systems

14 milestones used this technique.

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.

PUFF expert system interprets pulmonary function tests at Stanford

In 1983, Janice S. Aikins, John C. Kunz, and Edward H. Shortliffe of Stanford University published a description of PUFF, a rule-based expert system that automated interpretation of pulmonary function test data at Pacific Medical Center in San Francisco, producing physician-reviewed diagnostic reports without manual analysis.

CADUCEUS Medical Expert System (Pople, University of Pittsburgh)

Harry Pople at the University of Pittsburgh developed CADUCEUS (originally called INTERNIST-1) during the late 1970s and early 1980s, publishing a detailed account in 1982. The system encoded diagnostic knowledge for several hundred internal medicine diseases and was among the most comprehensive medical diagnosis programs of its era.

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.

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.

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.

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.

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.

Stanford Heuristic Programming Project founded by Edward Feigenbaum

In 1970, Edward Feigenbaum founded the Heuristic Programming Project (HPP) at Stanford University, establishing a dedicated research group to investigate the construction of knowledge-based expert systems and their application to scientific and medical domains.

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.

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.