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.
Institution: Stanford Research Institute
Note: Project 7494 Final Report
From the Nilsson archives – SHAKEY papers
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.
|Coles, L. Stephen||Alumnus|
|Duda, Richard O.||Alumnus|
|Garvey, Thomas D||Associate Director|
|Munson, John H.||Alumnus|
|Rosen, Charles A.||Alumnus|