Discovery - University of Dundee - Online Publications

Library & Learning Centre

Lakatos games for mathematical argument

Lakatos games for mathematical argument

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

View graph of relations

Authors

Research units

Info

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
StatePublished - 2014
EventFifth International Conference on Computational Models of Argument - Pitlochry, United Kingdom

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

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.

Research outputs

Documents

Library & Learning Centre

Contact | Accessibility | Policy