%0 Report %A Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J. %T Research and Applications - Artificial Intelligence %I Stanford Research Institute %D 1971 %K Shakey, QA4, STRIPS, Theorem Proving!Analogy, Theorem Proving!Problem Solving, ISUPPOSEW, Vision!ISUPPOSEW, Theorem Proving!E-Resolution, E-Resolution %X 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.

%O Project 8973 Semiannual Progress Report 7 October 1970 to 31 March 1971

- “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
- “Fortran Display Package” by John Bender

From the Nilsson archives – SHAKEY papers %U http://www.ai.sri.com/pubs/files/raphael71-p8973-semi.pdf

©2016 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493

SRI International is an independent, nonprofit corporation. Privacy policy

SRI International is an independent, nonprofit corporation. Privacy policy