TY - GEN
T1 - Automatic identification of mathematical concepts
AU - Colton, Simon
AU - Bundy, Alan
AU - Walsh, Toby
PY - 2000
Y1 - 2000
N2 - The HR program by Colton et al.(1999) performs theory formation in mathematics by exploring a space of mathematical concepts. By enabling HR to determine when it has found a particular concept, and by adding a forward looking mechanism, we have applied HR to the problem of identifying mathematical concepts. We illustrate this by using HR to identify and extrapolate integer sequences and by performing a qualitative comparison with the machine learning program Progol.
AB - The HR program by Colton et al.(1999) performs theory formation in mathematics by exploring a space of mathematical concepts. By enabling HR to determine when it has found a particular concept, and by adding a forward looking mechanism, we have applied HR to the problem of identifying mathematical concepts. We illustrate this by using HR to identify and extrapolate integer sequences and by performing a qualitative comparison with the machine learning program Progol.
M3 - Conference contribution
SN - 1-55860-707-2
SP - 183
EP - 190
BT - ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
PB - Morgan Kaufmann Publishers Inc.
ER -