Lakatos games for mathematical argument

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationComputational Models of Argument
Subtitle of host publicationProceedings of COMMA 2014
EditorsSimon Parsons, Nir Oren, Chris Reed, Federico Cerutti
Place of PublicationAmsterdam
PublisherIOS Press
Number of pages8
ISBN (Electronic)9781614994367
ISBN (Print)9781614994350
Publication statusPublished - 2014
EventFifth International Conference on Computational Models of Argument - Atholl Palace Hotel, Pitlochry, United Kingdom
Duration: 9 Sept 201412 Sept 2014

Publication series

NameFrontiers in artificial intelligence and applications
PublisherIOS Press


ConferenceFifth International Conference on Computational Models of Argument
Abbreviated titleCOMMA 2014
Country/TerritoryUnited Kingdom
Internet address

Cite this