| EPSRC Reference: |
GR/M22031/01 |
| Title: |
FORMATION OF METHODS FOR PROOF PLANNING IN MATHEMATICS |
| Principal Investigator: |
Kerber, Dr M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
07 September 1998 |
Ends: |
06 February 2002 |
Value (£): |
136,672
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
In this research a large body of proof plan operators, so-called methods will be built up, the automatic adaptation of methods by meta-methods and the integration of the adaptation in the proof planning process will be investigated. The related task to adapt the problem formulation to the existing set of methods (rather than to adapt the methods to the problem formulation) will be investigated in parallel. Machine learning techniques will be applied to improve the behaviour of the planner, in particular the utility and accuracy of methods will be adapted automatically. This is particularly important for newly created methods. In order to constrain the search space 9 that is larger than in proof planning without meta-methods, since we allow for the creation of new methods) example oriented techniques will be investigated. The idea is to restrict the application (and creation) of methods to those cases that are compatible with the examples. The examples are either carefully selected as typical examples of an area or generated by a model generator.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bham.ac.uk |