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.
|Title of host publication||Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science|
|Number of pages||8|
|Publication status||Published - 2000|