| EPSRC Reference: |
GR/S76328/01 |
| Title: |
The use of Data-Mining Techniques for the Automatic Formation of Tactics |
| Principal Investigator: |
Bundy, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
15 March 2004 |
Ends: |
14 March 2006 |
Value (£): |
54,788
|
| EPSRC Research Topic Classifications: |
| Information & Knowledge Mgmt |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This project will explore the application of data-mining techniques to the automatic construction of tactics from a large corpus of proofs. Tactics are computer programs which guide the proof search in automated theorem proving. These programs consist of applications of logical rules of inference composed with tacticals. Until recently, tactics have been manually constructed. This is a time-consuming and highly skilled process which has limited the more widespread uptake of this technology. The automatic construction of tactics would remove this impediment. The data-mining will consist of two stages. Firstly, frequently occurring sequences of proof steps will be identified using probabilistic reasoning. Secondly, these sequences will be used to seed a genetic programming process to combine the sequences with tacticals. This two stage process will create a family of tactics, whose effectivenesswill then be evaluated.
|
|
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.ed.ac.uk |