Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication Details

Research and Applications - Artificial Intelligence

by Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J.

Technical Report
Institution: Stanford Research Institute
April 1971.

Note: Project 8973 Semiannual Progress Report 7 October 1970 to 31 March 1971
From the Nilsson archives – SHAKEY papers


This is a semiannual progress report about a program of research the field of Artificial Intelligence. The research areas discussed include automatic theorem proving, representations of real-world environments, problem-solving methods, the design of a programming system for problem-solving research, techniques for general scene analysis based upon television data, and the problems of assembling an integrated robot system. Major accomplishments include the development of a new problemsolving system that uses both formal logical inference and informal heuristic methods, the development of a method of Automatic learning by generalization, and the design of the overall structure of a new complete robot system. Eight appendices to the report contain extensive technical details of the work described.

  1. “A Heuristically Guided Equality Rule in a Resolution Theorem Prover” by Claude R. Brice and Jan A. Derksen
  2. “Reasoning by Analogy as an Aid to Heuristic Theorem Proving” by Robert E. Kling
  3. “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving” by Richard E. Fikes and Nils J. Nilsson
  4. “A Language for Writing Problem-Solving Programs” by Johns F. Rulifson, Richard J. Waldinger, and Jan A. Derksen
  5. “Failure Tests and Goals in Plans” by Richard E. Fikes
  6. “ISUPPOSEW – A Computer Program that Finds Regions in the Plan Model of a Visual Scene” by Kazuhiko Masuda
  7. “Robot Communication between the PDP-15 and the PDP-10” by B. Michael Wilber
  8. “Fortran Display Package” by John Bender

Electronic Copies

Adobe PDF



Associated Projects

Shakey IV

Research and Applications – Artificial Intelligence

The fourth project centered around Shakey as a platform for investigating AI problems.

AIC Personnel

Name Title E-mail
Bender, John Alumnus
Brice, Claude R. Alumnus
Chaitin, Leonard J. Alumnus
Derksen, Jan Alumnus
Duda, Richard O. Alumnus
Fikes, Richard E. Professor, Stanford Univ.
Hart, Peter E Chairman, President and Founder, Ricoh Innovations
Masuda, Kazuhiko Alumnus
Nilsson, Nils J Alumnus
Raphael, Bertram Alumnus
Rulifson, Johns F. Alumnus
Waldinger, Richard J Principal Scientist

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy