HR: A System for Machine Discovery in Finite Algebras

Alan Bundy; S. Colton; T. Walsh

HR: A System for Machine Discovery in Finite Algebras

Alan Bundy, S. Colton, T. Walsh

School of Informatics

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

Abstract / Description of output

We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory.

Original language	English
Title of host publication	13th biennial European Conference on Artificial Intelligence Workshop 1998
Publication status	Published - 1998
Event	ECAI 98 Workshop Programme - Brighton, United Kingdom Duration: 24 Aug 1998 → 24 Aug 1998

Conference

Conference	ECAI 98 Workshop Programme
Country/Territory	United Kingdom
City	Brighton
Period	24/08/98 → 24/08/98

Access to Document

HR - A System for Machine Discovery in Finite AlgebrasAccepted author manuscript, 148 KB

Cite this

@inproceedings{a3a4f272977946279621340ecb5dc361,

title = "HR: A System for Machine Discovery in Finite Algebras",

abstract = "We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory.",

author = "Alan Bundy and S. Colton and T. Walsh",

year = "1998",

language = "English",

booktitle = "13th biennial European Conference on Artificial Intelligence Workshop 1998",

note = "ECAI 98 Workshop Programme ; Conference date: 24-08-1998 Through 24-08-1998",

}

TY - GEN

T1 - HR: A System for Machine Discovery in Finite Algebras

AU - Bundy, Alan

AU - Colton, S.

AU - Walsh, T.

PY - 1998

Y1 - 1998

N2 - We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory.

AB - We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory.

M3 - Conference contribution

BT - 13th biennial European Conference on Artificial Intelligence Workshop 1998

T2 - ECAI 98 Workshop Programme

Y2 - 24 August 1998 through 24 August 1998

ER -

HR: A System for Machine Discovery in Finite Algebras

Abstract / Description of output

Conference

Access to Document

Fingerprint

Cite this