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

Author: 

Corneli, J
Martin, U
Murray-Rust, D
Pease, A

Publication Date: 

2017

Journal: 

INTELLIGENT COMPUTER MATHEMATICS

Last Updated: 

2019-04-27T19:34:43.16+01:00

Volume: 

10383

DOI: 

10.1007/978-3-319-62075-6_10

page: 

132-146

abstract: 

© Springer International Publishing AG 2017. This paper outlines a strategy for building semantically meaningful representations and carrying out effective reasoning in technical knowledge domains such as mathematics. Our central assertion is that the semi-structured Q&A format, as used on the popular Stack Exchange network of websites, exposes domain knowledge in a form that is already reasonably close to the structured knowledge formats that computers can reason about. The knowledge in question is not only facts - but discursive, dialectical, argument for purposes of proof and pedagogy. We therefore assert 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. This position is supported by a small case study that analyses one question from Mathoverflow in detail, using concepts from argumentation theory. A programme of future work, including a rigorous evaluation strategy, is then advanced.

Symplectic id: 

710846

Download URL: 

Submitted to ORA: 

Submitted

Publication Type: 

Conference Paper

ISBN-13: 

978-3-319-62074-9