ML Anthology

Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy

Yves Kodratoff
ICML 1990 pp. 295-303
doi:10.1016/B978-1-55860-141-3.50039-0 /icml/1990/kodratoff1990icml-using/

Abstract

We propose a solution to problem solving by analogy which is an alternative to Carbonell's transformational analogy. Given a plan that succeeds for the base, we apply the plan to the target and propose to correct its failures by an abductive recovery mechanism inspired from abductive recovery from failed proofs.

ICML Semantic Scholar

Cite

Text

Kodratoff. "Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy." International Conference on Machine Learning, 1990. doi:10.1016/B978-1-55860-141-3.50039-0

Markdown

[Kodratoff. "Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy." International Conference on Machine Learning, 1990.](https://mlanthology.org/icml/1990/kodratoff1990icml-using/) doi:10.1016/B978-1-55860-141-3.50039-0

BibTeX

@inproceedings{kodratoff1990icml-using,
  title     = {{Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy}},
  author    = {Kodratoff, Yves},
  booktitle = {International Conference on Machine Learning},
  year      = {1990},
  pages     = {295-303},
  doi       = {10.1016/B978-1-55860-141-3.50039-0},
  url       = {https://mlanthology.org/icml/1990/kodratoff1990icml-using/}
}