EPSRC logo

Details of Grant 

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:
Levine, Dr J Storkey, Dr AJ
Researcher Co-Investigators:
Miss H Duncan Dr AJ Storkey
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:
Information Technologies
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