A Paradigm for Reasoning by Analogy

Kling, Rob

A Paradigm for Reasoning by Analogy

Download BibTeX Cite

Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 568-584.

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.

Rob Kling. 1971. A Paradigm for Reasoning by Analogy. In Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71. IJCAI, 568–584. https://ijcai.org/proceedings/1971/60

@inproceedings{ijcai1971p60,
  title     = {A Paradigm for Reasoning by Analogy},
  author    = {Kling, Rob},
  booktitle = {Proceedings of the Second International Joint Conference on
               Artificial Intelligence, {IJCAI-71}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {D.C. Cooper},
  pages     = {568--584},
  year      = {1971},
  url       = {https://ijcai.org/proceedings/1971/60},
}

TY  - CPAPER
TI  - A Paradigm for Reasoning by Analogy
AU  - Kling, Rob
T2  - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1971
SP  - 568
EP  - 584
UR  - https://ijcai.org/proceedings/1971/60
ER  -