Edinburgh Research Explorer

Agent based cooperative theory formation in pure mathematics

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://www.doc.ic.ac.uk/~sgc/papers/AISB00.pdf
Original languageEnglish
Title of host publicationProceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science
Pages11-18
Number of pages8
StatePublished - 2000

Abstract

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.

Download statistics

No data available

ID: 16578664