Lakatos Games for Mathematical Argument
Alison Pease, Katarzyna Budzyńska, John Shelton Lawrence, Reed Chris · Frontiers in artificial intelligence and applications · 2014
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.