Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics 10th International Conference, CICM 2017
EditorsHerman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
PublisherSpringer, Cham
Number of pages14
ISBN (Electronic)978-3-319-62075-6
ISBN (Print)978-3-319-62074-9
Publication statusPublished - 28 Jun 2017
Event10th Conference on Intelligent Computer Mathematics - Edinburgh, United Kingdom
Duration: 17 Jul 201721 Jul 2017

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
ISSN (Print)0302-9743


Conference10th Conference on Intelligent Computer Mathematics
Abbreviated titleCICM 2017
Country/TerritoryUnited Kingdom
Internet address


Dive into the research topics of 'Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues'. Together they form a unique fingerprint.

Cite this