Projects per year
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.
|Title of host publication||Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Proceedings|
|Place of Publication||Switzerland|
|Number of pages||15|
|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
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||10th International Conference on Intelligent Computer Mathematics, CICM 2017|
|Period||17/07/17 → 21/07/17|
FingerprintDive 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.
- 1 Finished
1/06/17 → 31/05/19