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). Amsterdam: IOS Press. https://doi.org/10.3233/978-1-61499-436-7-59
Pease, Alison ; Budzynska, Katarzyna ; Lawrence, John ; Reed, Chris. / Lakatos games for mathematical argument. Computational Models of Argument : Proceedings of COMMA 2014. editor / Simon Parsons ; Nir Oren ; Chris Reed ; Federico Cerutti. Amsterdam : IOS Press, 2014. pp. 59-66 (Frontiers in artificial intelligence and applications).
@inproceedings{eab0e88259e94432aa133c79d82ad48e,
title = "Lakatos games for mathematical argument",
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.",
author = "Alison Pease and Katarzyna Budzynska and John Lawrence and Chris Reed",
year = "2014",
doi = "10.3233/978-1-61499-436-7-59",
language = "English",
isbn = "9781614994350",
series = "Frontiers in artificial intelligence and applications",
publisher = "IOS Press",
pages = "59--66",
editor = "Parsons, {Simon } and Oren, {Nir } and Reed, {Chris } and Cerutti, {Federico }",
booktitle = "Computational Models of Argument",
address = "Netherlands",

}

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. Frontiers in artificial intelligence and applications, vol. 266, IOS Press, Amsterdam, pp. 59-66, Fifth International Conference on Computational Models of Argument, Pitlochry, United Kingdom, 9/09/14. https://doi.org/10.3233/978-1-61499-436-7-59

Lakatos games for mathematical argument. / Pease, Alison; Budzynska, Katarzyna; Lawrence, John; Reed, Chris.

Computational Models of Argument : Proceedings of COMMA 2014. ed. / Simon Parsons; Nir Oren; Chris Reed; Federico Cerutti. Amsterdam : IOS Press, 2014. p. 59-66 (Frontiers in artificial intelligence and applications; Vol. 266).

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

TY - GEN

T1 - Lakatos games for mathematical argument

AU - Pease, Alison

AU - Budzynska, Katarzyna

AU - Lawrence, John

AU - Reed, Chris

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.3233/978-1-61499-436-7-59

DO - 10.3233/978-1-61499-436-7-59

M3 - Conference contribution

SN - 9781614994350

T3 - Frontiers in artificial intelligence and applications

SP - 59

EP - 66

BT - Computational Models of Argument

A2 - Parsons, Simon

A2 - Oren, Nir

A2 - Reed, Chris

A2 - Cerutti, Federico

PB - IOS Press

CY - Amsterdam

ER -

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