Modelling the way mathematics is actually done

Gabriela Rino Nesin

doi:10.1145/3122938.3122942

Modelling the way mathematics is actually done

, , , , , Gabriela Rino Nesin

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Abstract

Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next.

Original language	English
Title of host publication	Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Publisher	ACM
Pages	10-19
Number of pages	10
ISBN (Electronic)	9781450351805
ISBN (Print)	9781450351805
DOIs	https://doi.org/10.1145/3122938.3122942
Publication status	Published - 9 Sept 2017
Event	5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design - Oxford, United Kingdom Duration: 9 Sept 2017 → 9 Sept 2017

Workshop

Workshop	5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
Abbreviated title	FARM'2017
Country/Territory	United Kingdom
City	Oxford
Period	9/09/17 → 9/09/17

Access to Document

10.1145/3122938.3122942

Cite this

@inproceedings{7e8b781511804a1d871b8fdd1d662c19,

title = "Modelling the way mathematics is actually done",

abstract = "Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next.",

author = "{Rino Nesin}, Gabriela",

year = "2017",

month = sep,

day = "9",

doi = "10.1145/3122938.3122942",

language = "English",

isbn = "9781450351805",

pages = "10--19",

booktitle = "Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design",

publisher = "ACM",

note = "5th ACM SIGPLAN International Workshop<br/>on Functional Art, Music, Modeling and Design, FARM'2017 ; Conference date: 09-09-2017 Through 09-09-2017",

}

University of Edinburgh, University of Oxford, University of Edinburgh, University of Dundee & Rino Nesin, G 2017, Modelling the way mathematics is actually done. in Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. ACM, pp. 10-19, 5th ACM SIGPLAN International Workshop
on Functional Art, Music, Modeling and Design, Oxford, United Kingdom, 9/09/17. https://doi.org/10.1145/3122938.3122942

Modelling the way mathematics is actually done. / University of Edinburgh; University of Oxford; University of Edinburgh et al.
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. ACM, 2017. p. 10-19.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

TY - GEN

T1 - Modelling the way mathematics is actually done

AU - Rino Nesin, Gabriela

PY - 2017/9/9

Y1 - 2017/9/9

N2 - Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next.

AB - Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next.

U2 - 10.1145/3122938.3122942

DO - 10.1145/3122938.3122942

M3 - Conference contribution with ISSN or ISBN

SN - 9781450351805

SP - 10

EP - 19

BT - Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design

PB - ACM

T2 - 5th ACM SIGPLAN International Workshop<br/>on Functional Art, Music, Modeling and Design

Y2 - 9 September 2017 through 9 September 2017

ER -

Modelling the way mathematics is actually done

Abstract

Workshop

Access to Document

Fingerprint

Cite this