Lakatos games for mathematical argument

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

7 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 Sept 201412 Sept 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
Country/TerritoryUnited Kingdom
CityPitlochry
Period9/09/1412/09/14
Internet address

Fingerprint

Dive into the research topics of 'Lakatos games for mathematical argument'. Together they form a unique fingerprint.
  • Computational Models of Argument: Proceedings of COMMA 2014

    Parsons, S. (Editor), Oren, N. (Editor), Reed, C. (Editor) & Cerutti, F. (Editor), 2014, Netherlands: IOS Press. 485 p. (Frontiers in Artificial Intelligence and Applications; vol. 266)

    Research output: Book/ReportBook

Cite this