Skip to main content
Conference ProceedingsOPEN ACCESS

Analysis of mixed natural and symbolic language input in mathematical dialogs

Proceedings of the Annual Meeting of the Association for Computational Linguistics (2004) 25-32
DOI: 10.3115/1218955.1218959
20Citations
Citations of this article
81Readers
Mendeley users who have this article in their library.

Abstract

Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded (semi-)formal symbolic mathematical expressions. We present language phenomena observed in a corpus of dialogs with a simulated tutorial system for proving theorems as evidence for the need for deep syntactic and semantic analysis. We propose an approach to input understanding in this setting. Our goal is a uniform analysis of inputs of different degree of verbalization: ranging from symbolic alone to fully worded mathematical expressions.

References Powered by Scopus

A hybrid logic formalization of information structure sensitive discourse interpretation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
3Citations
N/AReaders
Get full text

Building a dependency-based grammar for parsing informal mathematical discourse

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2Citations
N/AReaders
Get full text
View more at Scopus

Cited by Powered by Scopus

Natural language dialog with a tutor system for mathematical proofs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14Citations
N/AReaders
Get full text

Handling errors in mathematical formulas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11Citations
N/AReaders
Get full text

Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks

Transactions of the Association for Computational Linguistics
9Citations
N/AReaders
Get full text
View more at Scopus

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Wolska, M., & Kruijff-Korbayová, I. (2004). Analysis of mixed natural and symbolic language input in mathematical dialogs. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (pp. 25–32). Association for Computational Linguistics (ACL). https://doi.org/10.3115/1218955.1218959

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 25

61%

Researcher 8

20%

Professor / Associate Prof. 5

12%

Lecturer / Post doc 3

7%

Readers' Discipline

Tooltip

Computer Science 34

79%

Linguistics 4

9%

Social Sciences 3

7%

Mathematics 2

5%

Save time finding and organizing research with Mendeley

Sign up for free