Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning
Authors: Alison Pease ; Simon Colton ; Alan Smaill ; John Lee
Date:Nov 2001
Publication Title:Proceedings of IAT-2001
Publication Type:Conference Paper
Current work in automated reasoning does not in general model social aspects of human mathematics. We are interested in modelling concept and conjecture refinement, i.e. the way in which the definition of a concept evolves as a conjecture develops. Modelling this process is important because (a) it will illuminate aspects of the social nature of mathematics and (b) it may be useful for improving existing automated reasoning programs. We outline descriptions by Devlin and Lakatos of the human process, and describe an agent architecture for this task and how it could be implemented using the HR theory formation system.
2001 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Alison Pease and Simon Colton and Alan Smaill and John Lee },
title = {A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning},
book title = {Proceedings of IAT-2001},
year = 2001,
month = {Nov},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh