Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #735 | |
|---|---|
| Title: | Analogy-Driven Proof-Plan Construction |
| Authors: | Melis,E |
| Date: | Mar 1995 |
| Presented: | Submitted to IJCAI as 2 papers |
| Keywords: | |
| Abstract: | This paper addresses analogy-driven automated theorem proving. More precisely, we consider analogy as a control strategy in proof planning and employ a source proof-plan to guide the search for a proof-plan of the target problem. The approach presented employs restructuring and reformulations. Reformulations go beyond symbol mappings and may encode certain re-representations. This is in accordance with the well known fact that appropriate representation which brings out the similarity of two problems, that is, finding the right concepts and the right level of abstraction. Several realistic math examples were successfully processed by our analogy-driven proof-plan construction. one of these examples is discussed here. |
| Download: | NO ONLINE COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}