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 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 language | English |
---|---|
Title of host publication | Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Proceedings |
Place of Publication | Switzerland |
Publisher | Springer Verlag |
Pages | 132-146 |
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
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science
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
-
Example-Driven Machine-Human Collaboration in Mathematics
Pease, A. (Investigator)
Engineering and Physical Sciences Research Council
1/06/17 → 31/05/19
Project: Research