Agent based cooperative theory formation in pure mathematics

Simon Colton, Alan Bundy, Toby Walsh

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 finds 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.
Original languageEnglish
Title of host publicationProceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science
Number of pages8
Publication statusPublished - 2000

Cite this