A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning
Alison Pease, Simon Colton, Alan Smaill, John R. Lee · 2001
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.