Refine
Year of publication
- 1999 (15) (remove)
Document Type
- Preprint (15) (remove)
Language
- English (15) (remove)
Has Fulltext
- yes (15)
Keywords
- Case-Based Reasoning (2)
- EBG (1)
- Fallbasiertes Schliessen (1)
- Fallbasiertes Schließen (1)
- Similarity Assessment (1)
- analogy (1)
- case-based reasoning (1)
- concept representation (1)
- problem solving (1)
- typical examples (1)
Faculty / Organisational entity
This paper addresses analogy-driven auto-mated theorem proving that employs a sourceproof-plan to guide the search for a proof-planof the target problem. The approach presen-ted uses reformulations that go beyond symbolmappings and that incorporate frequently usedre-representations and abstractions. Severalrealistic math examples were successfully pro-cessed by our analogy-driven proof-plan con-struction. One challenge example, a Heine-Borel theorem, is discussed here. For this ex-ample the reformulaitons are shown step bystep and the modifying actions are demon-strated.