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

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

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

4 Citations (Scopus)

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 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
Publication statusPublished - 28 Jun 2017
Event10th International Conference on Intelligent Computer Mathematics, CICM 2017 - Edinburgh, United Kingdom
Duration: 17 Jul 201721 Jul 2017

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
Country/TerritoryUnited Kingdom
CityEdinburgh
Period17/07/1721/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.

Cite this