Lexical-semantic interpretation of language input in mathematical dialogs

Authors:
Magdalena Wolska;Ivana Kruijff-Korbayová;Helmut Horacek
Affiliations:
Universität des Saarlandes, Saarbrücken, Germany;Universität des Saarlandes, Saarbrücken, Germany;Universität des Saarlandes, Saarbrücken, Germany
Venue:
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
Year:
2004

Citing 3
Cited 2

Multi-modal combinatory categorial grammar

EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
Coupling CCG and hybrid logic dependency semantics

ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Analysis of mixed natural and symbolic language input in mathematical dialogs

ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics

Analysis of mixed natural and symbolic language input in mathematical dialogs

ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Natural language dialog with a tutor system for mathematical proofs

Proceedings of the 2005 joint Chinese-German conference on Cognitive systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded (semi-)formal symbolic mathematical expressions. Due to the lack of empirical data, little is known about the suitability of input analysis methods for mathematical discourse in a dialog setting. We present an input understanding method for a tutoring system teaching mathematical theorem proving. The adopted deep analysis strategy is motivated by the complexity of the language phenomena observed in a corpus collected in a Wizard-of-Oz experiment. Our goal is a uniform input interpretation, in particular, considering different degrees of formality of natural language verbalizations.