RAND Corporation
US nonprofit research organisation. Published Hubert Dreyfus's 1965 critique of AI, influencing debate about the limits of symbolic approaches.
4 milestones
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.
Alchemy and Artificial Intelligence, RAND Corporation Memorandum by Hubert Dreyfus
In December 1965, Hubert Dreyfus, a philosopher at the Massachusetts Institute of Technology consulting for the RAND Corporation, published RAND Memorandum P-3244, 'Alchemy and Artificial Intelligence', arguing that the cognitive assumptions underlying contemporary AI research were philosophically untenable and that the field faced fundamental, not merely technical, limits.
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.