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.

Preview

PDF. Filename: 10.1.1.114.3532.pdf Final 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.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Book Section
  ID code:	32301
  Dates:	Date Event 1 July 2004 Published
  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:	04 Aug 2024 00:56
  URI:	https://strathprints.strath.ac.uk/id/eprint/32301