ML Anthology

A Paradigm for Reasoning by Analogy

Rob Kling
IJCAI 1971 pp. 568-585
doi:10.1016/0004-3702(71)90008-7 /ijcai/1971/kling1971ijcai-paradigm/

Abstract

A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and 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.

PDF Semantic Scholar

Cite

Text

Kling. "A Paradigm for Reasoning by Analogy." International Joint Conference on Artificial Intelligence, 1971. doi:10.1016/0004-3702(71)90008-7

Markdown

[Kling. "A Paradigm for Reasoning by Analogy." International Joint Conference on Artificial Intelligence, 1971.](https://mlanthology.org/ijcai/1971/kling1971ijcai-paradigm/) doi:10.1016/0004-3702(71)90008-7

BibTeX

@inproceedings{kling1971ijcai-paradigm,
  title     = {{A Paradigm for Reasoning by Analogy}},
  author    = {Kling, Rob},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1971},
  pages     = {568-585},
  doi       = {10.1016/0004-3702(71)90008-7},
  url       = {https://mlanthology.org/ijcai/1971/kling1971ijcai-paradigm/}
}