# Modelling the way mathematics is actually done

@article{Corneli2017ModellingTW, title={Modelling the way mathematics is actually done}, author={J. Corneli and U. Martin and Dave Murray-Rust and A. Pease and R. Puzio and Gabriela Asli Rino Nesin}, journal={Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design}, year={2017} }

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… Expand

#### Supplemental Video

#### 6 Citations

University of Dundee Argumentation Theory for Mathematical

- 2019

To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these… Expand

Argumentation Theory for Mathematical Argument

- Computer Science
- ArXiv
- 2018

It is argued that the framework introduced provides a more natural way to examine the process of proving theorems than do Lamport's structured proofs and might be used to support computational reasoning. Expand

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal

- Computer Science, Mathematics
- ArXiv
- 2019

The central contribution of this position paper is an information model for "doing mathematics", which posits that humans very efficiently integrate four aspects: inference, computation, tabulation, and narration around a well-organized core of mathematical knowledge. Expand

Characterising Social Machines

- Computer Science
- 2019

This opening chapter introduces the idea of social machines, and it is argued that producing a definition of social Machines would be counterproductive, such is the fluidity of the concept and its social and technical contexts. Expand

#### References

SHOWING 1-10 OF 89 REFERENCES

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

- Computer Science
- CICM
- 2017

It is asserted that modelling the Q&A process computationally provides a route to domain understanding that is compatible with the day-to-day practices of mathematicians and students. Expand

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

- Computer Science
- Artif. Intell.
- 2017

This work draws on two areas in which Automated Theorem Proving (ATP) is currently unlike human mathematics: firstly in a focus on soundness, rather than understandability of proof, and secondly in social aspects. Expand

Parsing and Disambiguation of Symbolic Mathematics in the Naproche System

- Computer Science
- Calculemus/MKM
- 2011

The difficulties that a program for parsing and disambiguating symbolic mathematics must face are discussed and how these difficulties have been tackled in the Naproche system are presented. Expand

Symbol Grounding via Chaining of Morphisms

- Computer Science
- ArXiv
- 2017

The abstractions introduced here are shown to naturally model the structures and systems currently being deployed in the context of using the OpenCog cognitive architecture to control Hanson Robotics humanoid robots. Expand

Memory, meaning, and syntax

- Computer Science
- 1980

The role of syntax in computational theories of natural language is explored and the integrated processing hypothesis, which contends that meaning and world knowledge play a crucial part in language understanding even at the earliest points in the process is discussed. Expand

The interaction of representation and reasoning

- Computer Science, Medicine
- Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
- 2013

This paper will illustrate the automation of representational change by drawing on recent work in the research group, with a special interest in the way that representation and reasoning interact. Expand

'Chasing' the Diagram - the Use of Visualizations in Algebraic Reasoning

- Computer Science
- Rev. Symb. Log.
- 2017

It will be argued that one of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. Expand

Scripts, plans, goals and understanding: an inquiry into human knowledge structures

- Psychology, Computer Science
- 1977

For both people and machines, each in their own way, there is a serious problem in common of making sense out of what they hear, see, or are told about the world. The conceptual apparatus necessary… Expand

CONCEPTUAL DEPENDENCY AND ITS DESCENDANTS

- Mathematics
- 1992

This paper surveys representation and processing theories arising out of conceptual dependency theory. One of the primary characteristics of conceptual dependency was the notion of a canonical form,… Expand

Presupposition Projection and Accommodation in Mathematical Texts

- Mathematics, Computer Science
- KONVENS
- 2010

How presuppositions handling was implemented in the Naproche system for checking natural language mathematical proofs turned out to have equivalent projection predictions to an existing account of presupposition projection. Expand