Natural language dialog with a tutor system for mathematical proofs

  • Authors:

  • Christoph Benzmüller;Helmut Horacek;Ivana Kruijff-Korbayová;Manfred Pinkal;Jörg Siekmann;Magdalena Wolska

  • Affiliations:

  • Computer Science, Saarland University, Saarbrücken, Germany;Computer Science, Saarland University, Saarbrücken, Germany;Computational Linguistics, Saarland University, Saarbrücken, Germany;Computational Linguistics, Saarland University, Saarbrücken, Germany;Computer Science, Saarland University, Saarbrücken, Germany;Computational Linguistics, Saarland University, Saarbrücken, Germany

  • Venue:
  • Proceedings of the 2005 joint Chinese-German conference on Cognitive systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction of (i) advanced natural language processing, (ii) flexible tutorial dialog strategies including hints, and (iii) mathematical domain reasoning. This paper provides an overview on the current research in the multi-disciplinary research project Dialog, whose goal is to build a prototype dialog-enabled system for teaching to do mathematical proofs. We present the crucial sub-systems in our architecture: the input understanding component and the domain reasoner. We present an interpretation method for mixed-language input consisting of informal and imprecise verbalization of mathematical content, and a proof manager that supports assertion-level automated theorem proving that is a crucial part of our domain reasoning module. Finally, we briefly report on an implementation of a demo system.