Refine
Year of publication
- 1999 (21) (remove)
Has Fulltext
- yes (21)
Keywords
- Case-Based Reasoning (2)
- EBG (1)
- Fallbasiertes Schliessen (1)
- Fallbasiertes Schließen (1)
- Similarity Assessment (1)
- analogical reasoning (1)
- analogy (1)
- case-based reasoning (1)
- concept representation (1)
- hybrid knowledge representation (1)
- problem solving (1)
- typical examples (1)
- typical instance (1)
Faculty / Organisational entity
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.