Lakatos games for mathematical argument

Alison Pease, Katarzyna Budzynska, John Lawrence, Chris Reed

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

4 Citations (Scopus)

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.
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
Pages59-66
Number of pages8
ISBN (Electronic)9781614994367
ISBN (Print)9781614994350
DOIs
Publication statusPublished - 2014
EventFifth International Conference on Computational Models of Argument - Atholl Palace Hotel, Pitlochry, United Kingdom
Duration: 9 Sep 201412 Sep 2014
http://www.comma-conf.org/

Publication series

NameFrontiers in artificial intelligence and applications
PublisherIOS Press
Volume266

Conference

ConferenceFifth International Conference on Computational Models of Argument
Abbreviated titleCOMMA 2014
CountryUnited Kingdom
CityPitlochry
Period9/09/1412/09/14
Internet address

Cite this

Pease, A., Budzynska, K., Lawrence, J., & Reed, C. (2014). Lakatos games for mathematical argument. In S. Parsons, N. Oren, C. Reed, & F. Cerutti (Eds.), Computational Models of Argument : Proceedings of COMMA 2014 (pp. 59-66). (Frontiers in artificial intelligence and applications; Vol. 266). IOS Press. https://doi.org/10.3233/978-1-61499-436-7-59