When to Prove Theorems by Analogy?
- In recent years several computational systems and techniques fortheorem proving by analogy have been developed. The obvious prac-tical question, however, as to whether and when to use analogy hasbeen neglected badly in these developments. This paper addresses thisquestion, identifies situations where analogy is useful, and discussesthe merits of theorem proving by analogy in these situations. Theresults can be generalized to other domains.
|URN (permanent link):||urn:nbn:de:hbz:386-kluedo-3602|
|Serie (Series number):||SEKI Report (96,3)|
|Language of publication:||English|
|Year of Completion:||1999|
|Year of Publication:||1999|
|Publishing Institute:||Technische Universität Kaiserslautern|
|Faculties / Organisational entities:||Fachbereich Informatik|
|DDC-Cassification:||004 Datenverarbeitung; Informatik|