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