Advertisement

Natural Language Dialog with a Tutor System for Mathematical Proofs

  • Christoph Benzmüller
  • Helmut Horacek
  • Ivana Kruijff-Korbayová
  • Manfred Pinkal
  • Jörg Siekmann
  • Magdalena Wolska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4429)

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.

Keywords

Mathematical Proof Natural Deduction Proof Step Dialog System Tutorial Dialogue 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Christoph Benzmüller
    • 1
  • Helmut Horacek
    • 1
  • Ivana Kruijff-Korbayová
    • 2
  • Manfred Pinkal
    • 2
  • Jörg Siekmann
    • 1
  • Magdalena Wolska
    • 2
  1. 1.Computer Science, Saarland University, SaarbrückenGermany
  2. 2.Computational Linguistics, Saarland University, SaarbrückenGermany

Personalised recommendations