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 |

Editors | Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke |

Publisher | Springer, Cham |

Pages | 132-146 |

Number of pages | 14 |

ISBN (Electronic) | 978-3-319-62075-6 |

ISBN (Print) | 978-3-319-62074-9 |

DOIs | |

Publication status | Published - 28 Jun 2017 |

Event | 10th Conference on Intelligent Computer Mathematics - Edinburgh, United Kingdom Duration: 17 Jul 2017 → 21 Jul 2017 https://www.cicm-conference.org/2017/cicm.php |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer, Cham |

Volume | 10383 |

ISSN (Print) | 0302-9743 |

### Conference

Conference | 10th Conference on Intelligent Computer Mathematics |
---|---|

Abbreviated title | CICM 2017 |

Country/Territory | United Kingdom |

City | Edinburgh |

Period | 17/07/17 → 21/07/17 |

Internet address |

## 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

- 2 Finished