Publication Details

Application of Intelligent Automata to Reconnaissance

by Coles, L. S., Duda, R. O., Garvey, T. D., Munson, J. H., Raphael, B., Rosen, C. A. and Yates, R. A.

Technical Report
Institution: Stanford Research Institute
November 1969.

Note: Project 7494 Final Report
From the Nilsson archives – SHAKEY papers

Abstract

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 theoremproving 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.

Appendices include:

• “User’s Guide to QA3.5 Question-Answering System” by Thomas D. Garvey.
• “A Brief Description of the Situation Calculus”
• “The N-Tuple Storage System” by John H. Munson.
• “Decision Tree Software”
• “Experiments with Color Software”

Electronic Copies

Adobe PDF

BibTeX

EndNote

AIC Personnel