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: 

28 June 2017

Journal: 

Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science

Last Updated: 

2020-11-17T06:31:02.35+00:00

Volume: 

10383

DOI: 

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

page: 

132-146

abstract: 

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

Submitted to ORA: 

Submitted

Publication Type: 

Conference Paper

ISBN-13: 

9783319620749