TY - JOUR
T1 - On the Notion of Interestingness in Automated Mathematical Discovery
AU - Colton,Simon
AU - Bundy,Alan
AU - Walsh,Toby
PY - 2000
Y1 - 2000
N2 - We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they’ve had. We focus on how they estimate the interestingness of concepts and conjectures and extract some common notions about interestingness in automated mathematical discovery. We detail how empirical evidence is used to give plausibility to conjectures, and the different ways in which a result can be thought of as novel. We also look at the ways in which the programs assess how surprising and complex a conjecture statement is, and the different ways in which the applicability of a concept or conjecture is used. Finally, we note how a user can set tasks for the program to achieve and how this affects the calculation of interestingness. We conclude with some hints on the use of interestingness measures for future developers of discovery programs in mathematics.
AB - We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they’ve had. We focus on how they estimate the interestingness of concepts and conjectures and extract some common notions about interestingness in automated mathematical discovery. We detail how empirical evidence is used to give plausibility to conjectures, and the different ways in which a result can be thought of as novel. We also look at the ways in which the programs assess how surprising and complex a conjecture statement is, and the different ways in which the applicability of a concept or conjecture is used. Finally, we note how a user can set tasks for the program to achieve and how this affects the calculation of interestingness. We conclude with some hints on the use of interestingness measures for future developers of discovery programs in mathematics.
U2 - 10.1006/ijhc.2000.0394
DO - 10.1006/ijhc.2000.0394
M3 - Article
VL - 53
SP - 351
EP - 375
JO - International Journal of Human-Computer Studies
T2 - International Journal of Human-Computer Studies
JF - International Journal of Human-Computer Studies
SN - 1071-5819
IS - 3
ER -