A paradigm for reasoning by analogy

Authors:
Robert E. Kling
Affiliations:
Stanford Research Institute, Menlo Park, California
Venue:
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Year:
1971

Citing 3
Cited 3

Reasoning by analogy with applications to heuristic problem-solving: a case study

Reasoning by analogy with applications to heuristic problem-solving: a case study
Problem-Solving Methods in Artificial Intelligence

Problem-Solving Methods in Artificial Intelligence
Some issues of representation in a general problem solver

AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference

Proof analogy in interactive theorem proving: a method to express and use it via second order pattern matching

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Proof analogy in interactive theorem proving: a method to express and use it via second order pattern matching

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Analogy-Making for solving IQ tests: a logical view

ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution is outlined. It is developed in detail for a first-order resolution logic theorem prover. Descriptions of the paradigm, implemented LISP programs, and preliminary experimental results are presented. This is believed to be the first system that develops analogical information and exploits it so that a problem-solving program can speed its search.