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.
This work has been funded by the Deutsche Forschungsgemeinschaft (DFG) Collaborative Research Center on Resource-Adaptive Cognitive Processes, SFB 378 ( http://www.coli.uni-saarland.de/projects/sfb378/).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Benzmüller, C., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Wolska, M. (2007). Natural Language Dialog with a Tutor System for Mathematical Proofs. In: Lu, R., Siekmann, J.H., Ullrich, C. (eds) Cognitive Systems. Lecture Notes in Computer Science(), vol 4429. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70934-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-70934-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70933-6
Online ISBN: 978-3-540-70934-3
eBook Packages: Computer ScienceComputer Science (R0)