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.
|Title of host publication||Proceedings of the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR 2004|
|Publication status||Published - 1 Jul 2004|
- data-mining techniques
- data mining
- programming techniques