Learning proof methods in proof planning (bibtex)

by Mateja Jamnik, Manfred Kerber, Christoph Benzmüller

Abstract:

In this paper we propose how proof planning systems can be extended by an automated learning capability. The idea is that a proof planner would be capable of learning new proof methods from well chosen examples of proofs which use a similar reasoning strategy to prove related theorems, and this strategy could be characterised as a proof method. We propose a representation framework for methods, and a machine learning technique which can learn methods using this representation framework. This is work in progress, and we hope to gain useful feedback from the workshop community.

Reference:

Learning proof methods in proof planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Proceedings of the Eighth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, University of York, pp. 5-6, 2001. (Url (preprint): http://christoph-benzmueller.de/papers/W8.pdf)

Bibtex Entry:

@inproceedings{W8, Abstract = {In this paper we propose how proof planning systems can be extended by an automated learning capability. The idea is that a proof planner would be capable of learning new proof methods from well chosen examples of proofs which use a similar reasoning strategy to prove related theorems, and this strategy could be characterised as a proof method. We propose a representation framework for methods, and a machine learning technique which can learn methods using this representation framework. This is work in progress, and we hope to gain useful feedback from the workshop community.}, Author = {Mateja Jamnik and Manfred Kerber and Christoph Benzm{\"u}ller}, Booktitle = {Proceedings of the Eighth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice}, Note = {(Mildly reviewed)}, Pages = {5-6}, Publisher = {University of York}, Title = {Learning proof methods in proof planning}, Note = {Url (preprint): \url{http://christoph-benzmueller.de/papers/W8.pdf}}, Year = 2001, }

Powered by bibtexbrowser