The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #866

Title:The Use of Classification in Automated Mathematical Concept Formation
Authors:Colton,SG; Cresswell,SN; Bundy,A
Date:Aug 1997
Presented:Submitted to SIMCAT 97, Department of Artificial Intelligence, Edinburgh University
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 ofthe importance of a concept. These measures are based on how much the concept improves a classification of finite groups.

[Search These Pages] [DAI Home Page] [Comment]