book and wave icon
Strathprints: University of Strathclyde Institutional Repository
Strathprints Home | Open Access | Browse | Search | 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 - Published Version
Download (2224Kb) | 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
    Related URLs:
      Depositing user: Pure Administrator
      Date Deposited: 26 Jul 2011 09:50
      Last modified: 17 Mar 2012 05:14
      URI: http://strathprints.strath.ac.uk/id/eprint/32301

      Actions (login required)

      		 View Item

      Fulltext Downloads:

      Contact us