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. [Proceedings Paper]

[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: Proceedings Paper
    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: 20 Jul 2013 01:28
      URI: http://strathprints.strath.ac.uk/id/eprint/32301

      Actions (login required)

      View Item

      Fulltext Downloads: