Computing Presuppositions and Implicatures in Mathematical Discourse (2000)
| Venue: | In Proceedings of the 2nd. Workshop on Inference in Computational Semantics (ICoS-2 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Zinn00computingpresuppositions,
author = {Claus Zinn},
title = {Computing Presuppositions and Implicatures in Mathematical Discourse},
booktitle = {In Proceedings of the 2nd. Workshop on Inference in Computational Semantics (ICoS-2},
year = {2000},
pages = {121--135}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In any well-written mathematical discourse a certain amount of mathematical and meta-mathematical knowledge is presupposed and implied. We give an account on presuppositions and implicatures in mathematical discourse and describe an architecture that allows to effectively interpret them. Our approach heavily relies on proof methods that capture common patterns of argumentation in mathematical discourse. This pragmatic information provides a high-level strategic discourse understanding and allows to compute the presupposed and implied information. 1
