Projects per year
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 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, Proceedings 
Place of Publication  Switzerland 
Publisher  Springer Verlag 
Pages  132146 
Number of pages  15 
Volume  10383 
ISBN (Electronic)  9783319620756 
ISBN (Print)  9783319620749 
DOIs  
Publication status  Published  28 Jun 2017 
Event  10th International Conference on Intelligent Computer Mathematics, CICM 2017  Edinburgh, United Kingdom Duration: 17 Jul 2017 → 21 Jul 2017 
Publication series
Name  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 

Volume  10383 LNAI 
ISSN (Print)  03029743 
ISSN (Electronic)  16113349 
Conference
Conference  10th International Conference on Intelligent Computer Mathematics, CICM 2017 

Country/Territory  United Kingdom 
City  Edinburgh 
Period  17/07/17 → 21/07/17 
Keywords
 Argumentation
 Mathematics
 Q&A
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
 1 Finished

ExampleDriven MachineHuman Collaboration in Mathematics
Engineering and Physical Sciences Research Council
1/06/17 → 31/05/19
Project: Research