Research on Intelligent Automata

Mailing address:
AI Center
SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025-3493

AIC Program:  AIC

Project home page at http://www.ai.sri.com/shakey/

This project is a follow-on to the original Shakey project.

A 14-month project of research in the application of techniques of artificial intelligence to the control of a mobile automaton in a realistic environment is described. The main emphasis is on experimentation with a previously-developed system of hardware and software and on research in several related areas of artificial intelligence where new efforts have been necessary to increase the capabilities of the automaton. Major areas discussed include the use of formal theorem-proving techniques of first-order logic in solving problems for the automaton; symbolic information structures for modeling the automaton environment; results in visual scene analysis, including a decision-tree approach and the use of regional as well as local analysis; and an outline for the design of a problem-solving system based on higher-order logic.

SRI Project 7494

Showing most recent 5 out of 9  [View All]

• Nilsson, Nils J. Shakey The Robot, Technical Note 323. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Apr 1984.  [PDF, Details]

• Wilber, B. M. A Shakey Primer, Technical Report . Stanford Research Institute, 333 Ravenswood Ave, Menlo Park, CA 94025, November 1972.  [PDF, Details]

• Chaitin, L. J., Duda, R. O., Johanson, P. A., Raphael, B., Rosen, C. A. and Yates, R. A. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, April 1970.  [PDF, Details]

• Coles, L.S. and Green, C. Chemistry Question-Answering, Technical Note 9. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1969.  [PDF, Details]

• Green, C. Application of Theorem Proving to Problem Solving, Technical Note 4. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1969.  [PDF, Details]