Analogy and Abduction in Automated Deduction

Défourneaux, Gilles; Peltier, Nicolas

Analogy and Abduction in Automated Deduction

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 216-224.

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.

Gilles Défourneaux, and Nicolas Peltier. 1997. Analogy and Abduction in Automated Deduction. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 216–224. https://ijcai.org/proceedings/1997/33

@inproceedings{ijcai1997p33,
  title     = {Analogy and Abduction in Automated Deduction},
  author    = {Défourneaux, Gilles and Peltier, Nicolas},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {216--224},
  year      = {1997},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1997/33},
}

TY  - CPAPER
TI  - Analogy and Abduction in Automated Deduction
AU  - Défourneaux, Gilles
AU  - Peltier, Nicolas
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 216
EP  - 224
UR  - https://ijcai.org/proceedings/1997/33
ER  -