Research and Applications - Artificial Intelligence
by Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J.
Technical Report Institution: Stanford Research Institute
April 1971.
Note: Project 8973 Semiannual Progress Report 7 October 1970 to 31 March 1971
From the Nilsson archives – SHAKEY papers
Abstract
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.
“A Heuristically Guided Equality Rule in a Resolution Theorem Prover” by Claude R. Brice and Jan A. Derksen
“Reasoning by Analogy as an Aid to Heuristic Theorem Proving” by Robert E. Kling
“STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving” by Richard E. Fikes and Nils J. Nilsson
“A Language for Writing Problem-Solving Programs” by Johns F. Rulifson, Richard J. Waldinger, and Jan A. Derksen
“Failure Tests and Goals in Plans” by Richard E. Fikes
“ISUPPOSEW – A Computer Program that Finds Regions in the Plan Model of a Visual Scene” by Kazuhiko Masuda
“Robot Communication between the PDP-15 and the PDP-10” by B. Michael Wilber
