@inproceedings{4903626592364cef9ccde2c1d5d86a58,
title = "The Use of Classification in Automated Mathematical Concept Formation",
abstract = "Concept formation programs aim to produce a high yield of concepts which are considered interesting. One intelligent way to do this is to base a new concept on one or more concepts which are already known to be interesting. This requires a concrete notion of the â€˜interestingnessâ€™ of a particular concept. Restricting the concepts formed to mathematical definitions in finite group theory, we derive three measures of the interestingness of a concept. These measures are based on how much the concept improves a classification of finite groups.",
author = "S. Colton and S. Cresswell and Alan Bundy",
year = "1997",
language = "English",
isbn = "9780907330271",
booktitle = "Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University",
publisher = "Department of Artificical Intelligence, Edinburgh University",
}