Edinburgh Research Explorer

The Use of Classification in Automated Mathematical Concept Formation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.8586
Original languageEnglish
Title of host publicationProceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University
PublisherDepartment of Artificical Intelligence, Edinburgh University
ISBN (Print)9780907330271
StatePublished - 1997
EventProceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation - Edinburgh, United Kingdom
Duration: 1 Jan 1997 → …

Conference

ConferenceProceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation
CountryUnited Kingdom
CityEdinburgh
Period1/01/97 → …

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.

Event

Download statistics

No data available

ID: 6319331