A Language Engineering Architecture for Processing Informal Mathematical Discourse

Wolska, Magdalena

  • Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008, Publisher: Masaryk University(Brno), page 131-136

Abstract

top
We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the natural language of the text and the mathematical domain of discourse.

How to cite

top

Wolska, Magdalena. "A Language Engineering Architecture for Processing Informal Mathematical Discourse." Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008. Brno: Masaryk University, 2008. 131-136. <http://eudml.org/doc/220251>.

@inProceedings{Wolska2008,
abstract = {We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the natural language of the text and the mathematical domain of discourse.},
author = {Wolska, Magdalena},
booktitle = {Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008},
keywords = {mathematical discourse},
location = {Brno},
pages = {131-136},
publisher = {Masaryk University},
title = {A Language Engineering Architecture for Processing Informal Mathematical Discourse},
url = {http://eudml.org/doc/220251},
year = {2008},
}

TY - CLSWK
AU - Wolska, Magdalena
TI - A Language Engineering Architecture for Processing Informal Mathematical Discourse
T2 - Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008
PY - 2008
CY - Brno
PB - Masaryk University
SP - 131
EP - 136
AB - We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the natural language of the text and the mathematical domain of discourse.
KW - mathematical discourse
UR - http://eudml.org/doc/220251
ER -

References

top
  1. Baur, J., Syntax und Semantik mathematischer Texte, . Diplomarbeit. Computerlinguistik, Universität des Saarlandes, Saarbrücken, Germany. (1999) 
  2. Horacek, H., Wolska, M., Interpreting semi-formal utterances in dialogs about mathematical proofs, . Data and Knowledge Engineering, 58(1):90-106. (2006) 
  3. Natho, N., Jeschke, S., Pfeiffer, O., Wilke, M., Natural language processing methods for extracting information from mathematical texts, Advances in Communication Systems and Electrical Engineering, LNEE 4, pp. 297–308. (2008) 
  4. Kamareddine, F., Lamar, R., Maarek, M., Wells, J. B., Restoring Natural Language as a Computerised Mathematics Input Method, (2007) Zbl1202.68383
  5. H., Kamp, U., Reyle, From Discourse to Logic. Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, . Kluwer, Dordrecht. (1993) 
  6. Lakoff, G., Núñez, R. E., Where mathematics comes from. How the embodied mind brings mathematics into being, . New York: Basic Books. (2000) MR1794854
  7. Sgall, P., Hajičová, E., Panevová, J., The meaning of the sentence in its semantic and pragmatic aspects, . Dordrecht: Reidel. (1986) 
  8. Wolska, M., Kruijff-Korbayová, Analysis of mixed natural and symbolic language input in mathematical dialogs, . In Proceedings of ACL-04, pp. 25–32. (2004) 
  9. Wolska, M., Kruijff-Korbayová, Horacek, H., Lexical-semantic interpretation of language input in mathematical dialogs, . In Proceedings of the ACL 2 Workshop on Text Meaning and Interpretation, pp. 81–88. (2004) 
  10. Wolska, M., Kruijff-Korbayová, I., Modeling anaphora in informal mathematical dialogue, . In Proceedings of the 10 Workshop on the Semantics and Pragmatics of Dialogue (brandial-06), pp. 147–154. (2006) 
  11. Zinn, C., Supporting the formal verification of mathematical texts, Journal of Applied Logic, 4(4), pp. 592–621. (2006) Zbl1107.68104MR2277555

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.