Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

The use of data-mining for the automatic formation of tactics

Duncan, H. and Bundy, A. and Levine, J. and Storkey, A. and Pollet, M. (2004) The use of data-mining for the automatic formation of tactics. In: Proceedings of the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR 2004. UNSPECIFIED.

[img]
Preview
PDF
10.1.1.114.3532.pdf - Published Version

Download (2MB) | Preview

Abstract

This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques.

Item type: Book Section
ID code: 32301
Keywords: data-mining techniques, information , data mining, patterns, programming techniques, Electronic computers. Computer science
Subjects: Science > Mathematics > Electronic computers. Computer science
Department: Faculty of Science > Computer and Information Sciences
Depositing user: Pure Administrator
Date Deposited: 26 Jul 2011 08:50
Last modified: 21 May 2015 19:23
URI: http://strathprints.strath.ac.uk/id/eprint/32301

Actions (login required)

View Item View Item