摘要: Abstract A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved and similar but previously solved simplify its search for solution is outlined. It developed in detail first-order resolution logic theorem prover. Descriptions of the paradigm, implemented LISP programs, preliminary experimental results are presented. This believed be first system that develops analogical information exploits it so problem-solving program can speed search.
elsevier.com
sci-hub.se 参考文章(4)
Robert Elliot Kling, Reasoning by analogy with applications to heuristic problem-solving: a case study Stanford University. ,(1971)
Richard E. Fikes, REF-ARF: a system for solving problems stated as procedures Artificial Intelligence. ,vol. 1, pp. 27- 120 ,(1970) , 10.1016/0004-3702(70)90003-2
George W. Ernst, Allen Newell, Some issues of representation in a general problem solver Proceedings of the April 18-20, 1967, spring joint computer conference on - AFIPS '67 (Spring). pp. 583- 600 ,(1967) , 10.1145/1465482.1465579
Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence ,(1971)