TY - GEN
T1 - Agent based cooperative theory formation in pure mathematics
AU - Colton, Simon
AU - Bundy, Alan
AU - Walsh, Toby
PY - 2000
Y1 - 2000
N2 - The HR program, Colton et al. (1999), performs theory formation in domains of pure mathematics. Given only minimal information about a domain, it invents concepts, make conjectures, proves theorems and ﬁnds counterexamples to false conjectures. We present here a multi-agentversion of HR which may provide a model for how individual mathematicians perform separate investigations but communicate their results to the mathematical community, learning from others as they do. We detail the exhaustive categorisation problem to which we have applied a multi-agent approach.
AB - The HR program, Colton et al. (1999), performs theory formation in domains of pure mathematics. Given only minimal information about a domain, it invents concepts, make conjectures, proves theorems and ﬁnds counterexamples to false conjectures. We present here a multi-agentversion of HR which may provide a model for how individual mathematicians perform separate investigations but communicate their results to the mathematical community, learning from others as they do. We detail the exhaustive categorisation problem to which we have applied a multi-agent approach.
M3 - Conference contribution
SP - 11
EP - 18
BT - Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science
ER -