Paper Info
Title
Towards Mathematical Ai Via A Model Of The Content And Process Of Mathematical Question And Answer Dialogues
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.
Year
DOI
Venue
2017
10.1007/978-3-319-62075-6_10
INTELLIGENT COMPUTER MATHEMATICS
Keywords
DocType
Volume
Q&A, Argumentation, Mathematics
Conference
10383
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Joseph Corneli100.68
Ursula Martin212716.38
David Murray-Rust36713.37
Alison Pease4566.65