Projects per year
Abstract / Description of output
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 semistructured 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 daytoday 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 language  English 

Title of host publication  Intelligent Computer Mathematics 10th International Conference, CICM 2017 
Editors  Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke 
Publisher  Springer 
Pages  132146 
Number of pages  14 
ISBN (Electronic)  9783319620756 
ISBN (Print)  9783319620749 
DOIs  
Publication status  Published  28 Jun 2017 
Event  10th Conference on Intelligent Computer Mathematics  Edinburgh, United Kingdom Duration: 17 Jul 2017 → 21 Jul 2017 https://www.cicmconference.org/2017/cicm.php 
Publication series
Name  Lecture Notes in Computer Science 

Publisher  Springer, Cham 
Volume  10383 
ISSN (Print)  03029743 
Conference
Conference  10th Conference on Intelligent Computer Mathematics 

Abbreviated title  CICM 2017 
Country/Territory  United Kingdom 
City  Edinburgh 
Period  17/07/17 → 21/07/17 
Internet address 
Fingerprint
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.Projects
 2 Finished


SOCIAM: the theory and proctice of social machines
Robertson, D. & Buneman, P.
1/06/12 → 31/05/17
Project: Research