Research and Applications - Artificial Intelligence
by Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J.
Institution: Stanford Research Institute
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.
The fourth project centered around Shakey as a platform for investigating AI problems.
|Brice, Claude R.||Alumnus|
|Chaitin, Leonard J.||Alumnus|
|Duda, Richard O.||Alumnus|
|Fikes, Richard E.||Professor, Stanford Univ.|
|Hart, Peter E.||Chairman, President and Founder, Ricoh Innovations|
|Nilsson, Nils J||Alumnus|
|Rulifson, Johns F.||Alumnus|
|Waldinger, Richard J||Principal Scientist|