{"type":"ScholarlyArticle","title":"Analogy and Abduction in Automated Deduction","authors":[{"name":"Gilles Défourneaux","slug":"gilles-defourneaux","given":"Gilles","family":"Défourneaux","affiliation":""},{"name":"Nicolas Peltier","slug":"nicolas-peltier","given":"Nicolas","family":"Peltier","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/33","pdf":"https://ijcai.org/proceedings/1997/0033.pdf","markdown":"https://ijcai.org/proceedings/1997/33.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/33","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":33,"pages":{"first":216,"last":224},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}