| Title: |
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues |
| Authors: |
Corneli, J; Martin, U; Murray-Rust, D; Pease, A |
| Publisher Information: |
Springer Verlag |
| Publication Year: |
2017 |
| Collection: |
Oxford University Research Archive (ORA) |
| Description: |
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. |
| Document Type: |
conference object |
| Language: |
unknown |
| DOI: |
10.1007/978-3-319-62075-6_10 |
| Availability: |
https://doi.org/10.1007/978-3-319-62075-6_10; https://ora.ox.ac.uk/objects/uuid:8548a692-9902-454d-98fd-e4fdada8e3df |
| Rights: |
info:eu-repo/semantics/openAccess |
| Accession Number: |
edsbas.4F89D045 |
| Database: |
BASE |