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.
