- Abstract:
-
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.
- Copyright:
- 2001 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @InProceedings{EDI-INF-RR-0056,
- 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},
- }
|