Discovery - University of Dundee - Online Publications

Library & Learning Centre

Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations

Authors

  • Joseph Corneli (Lead / Corresponding author)
  • Ursula Martin
  • Dave Murray-Rust
  • Alison Pease

Research units

Info

Original languageEnglish
Title of host publicationIntelligent Computer Mathematics - 10th International Conference, CICM 2017, Proceedings
Place of PublicationSwitzerland
PublisherSpringer Verlag
Pages132-146
Number of pages15
Volume10383
ISBN (Electronic)9783319620756
ISBN (Print)9783319620749
DOIs
StatePublished - 28 Jun 2017
Event10th International Conference on Intelligent Computer Mathematics, CICM 2017 - Edinburgh, United Kingdom

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10383 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference10th International Conference on Intelligent Computer Mathematics, CICM 2017
CountryUnited Kingdom
CityEdinburgh
Period17/07/1721/07/17

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.

Documents

DOI

Library & Learning Centre

Contact | Accessibility | Policy