Analogy and Automated Reasoning Analogy and Automated Reasoning
نویسنده
چکیده
We survey the state of the art in the use of analogy in automated reasoning. We are particularly interested in the work of Melis and Whittle (1998). A detailed analysis of their analogy mechanism is given. The problem domain that they tackled is inductive theorems. We examine whether their technique can be used in other problems domains, e.g. in the domain of limit theorems and group theory.
منابع مشابه
Analogy in Farabi's Thought
Thinkers and philosophers have constantly benefited from different approaches of reasoning to explore and justify their ideas. Theses reasoning approaches are considered as the principle instruments in speculative activities of the thinkers. To this end to achieve the procedure of thinking and the way philosophers achieve objectives, it is necessary to recognize their reasoni...
متن کاملAnalogy and Abduction in Automated Deduction
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 examp...
متن کاملAnalogy Makes Proofs
Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...
متن کاملAnalogy Makes Proofs Feasible
Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...
متن کاملHow Mathematicians Prove Theorems 1
This paper analyzes how mathematicians prove theorems. The analysis is based upon several empirical sources such as reports of mathematicians and mathematical proofs by analogy. In order to combine the strength of traditional automated theorem provers with human-like capabilities, the questions arise: Which problem solving strategies are appropriate? Which representations have to be employed? A...
متن کامل