Projects per year
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 higherorder 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 | 2017 International Workshop on Functional Art, Music, Modelling and Design (FARM 2017) |
Publisher | ACM |
Pages | 10-19 |
Number of pages | 12 |
DOIs | |
Publication status | Published - 9 Sep 2017 |
Event | 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - Oxford, United Kingdom Duration: 9 Sep 2017 → 9 Sep 2017 https://icfp17.sigplan.org/ |
Conference
Conference | 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 |
Internet address |
Fingerprint
Dive into the research topics of 'Modelling the Way Mathematics Is Actually Done'. Together they form a unique fingerprint.Projects
- 1 Finished