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]
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.
Actions (login required)