The Use of Classification in Automated Mathematical Concept Formation

S. Colton; S. Cresswell; Alan Bundy

The Use of Classification in Automated Mathematical Concept Formation

S. Colton, S. Cresswell, Alan Bundy

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University
Publisher	Department of Artificical Intelligence, Edinburgh University
ISBN (Print)	9780907330271
Publication status	Published - 1997
Event	Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation - Edinburgh, United Kingdom Duration: 1 Jan 1997 → …

Conference

Conference	Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation
Country/Territory	United Kingdom
City	Edinburgh
Period	1/01/97 → …

Access to Document

The Use of Classi cation in Automated Mathematical Concept FormationAccepted author manuscript, 870 KB

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.8586

Cite this

Colton, S., Cresswell, S., & Bundy, A. (1997). The Use of Classification in Automated Mathematical Concept Formation. In Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University Department of Artificical Intelligence, Edinburgh University. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.8586

@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 {\textquoteleft}interestingness{\textquoteright} 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",

note = "Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation ; Conference date: 01-01-1997",

}

Colton, S, Cresswell, S & Bundy, A 1997, The Use of Classification in Automated Mathematical Concept Formation. in Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University, Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, Edinburgh, United Kingdom, 1/01/97. <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.8586>

The Use of Classification in Automated Mathematical Concept Formation. / Colton, S.; Cresswell, S.; Bundy, Alan.
Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University, 1997.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The Use of Classification in Automated Mathematical Concept Formation

AU - Colton, S.

AU - Cresswell, S.

AU - Bundy, Alan

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 9780907330271

BT - Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University

PB - Department of Artificical Intelligence, Edinburgh University

T2 - Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation

Y2 - 1 January 1997

ER -

The Use of Classification in Automated Mathematical Concept Formation

Abstract

Conference

Access to Document

Fingerprint

Cite this