Search
 
loader loading subjects...
cover
Lakatos Games for Mathematical Argument
Alison Pease, Katarzyna Budzynska, John Lawrence, Chris Reed
59 - 66
10.3233/978-1-61499-436-7-59
Frontiers in Artificial Intelligence and Applications
Volume 266: Computational Models of Argument
Abstract

We present a dialogue game representation of Lakatos's theory of justification and discovery in mathematics and describe our implementation of the game. As well as demonstrating a new domain for dialogue games, this could provide the basis for systems which can be used to aid mathematicians in their work.

$35.00 / €27.50 / £22.00
Add PDF to cart