COMMA Fifth International Conference on Computational Models of Argument

Lakatos Games for Mathematical Argument

Presents a dialogue game representation of Lakatos's theory of justification and discovery in mathematics and describes our implementation of the game using in the "Dialogue Game Description Language" developed as part of the BESiDE Purposeful Talk package. This builds upon the work carried out in the BESiDE project to create a robust platform for handling dialogues, and provides the basis for systems which can be used both to aid scientists and mathematicians in their work and to train students to think and interact in expert-like ways.

Pease, A., Budzynska, K., Lawrence, J. & Reed, C. 2014 Lakatos Games for Mathematical Argument. in Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds) Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014), IOS Press, Pitlochry, pp59-66. DOI = 10.3233/978-1-61499-436-7-59