Analogy and Abduction in Automated Deduction
Abstract
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abduction allows to deal with partial analogies thus strongly increasing the application field of the method. It also allows to detect "bad analogies" in several cases. Explanatory examples as well as more realistic examples quantifying the effects of using analogy (for theorem-proving and for counter-example building) are given. 1
Cite
Text
Défourneaux and Peltier. "Analogy and Abduction in Automated Deduction." International Joint Conference on Artificial Intelligence, 1997.Markdown
[Défourneaux and Peltier. "Analogy and Abduction in Automated Deduction." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/defourneaux1997ijcai-analogy/)BibTeX
@inproceedings{defourneaux1997ijcai-analogy,
title = {{Analogy and Abduction in Automated Deduction}},
author = {Défourneaux, Gilles and Peltier, Nicolas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {216-225},
url = {https://mlanthology.org/ijcai/1997/defourneaux1997ijcai-analogy/}
}