Abstract
The Naproche CNL is a controlled natural language for mathematical texts. A recent addition to the Naproche CNL are plural statements. We discuss the collective-distributive ambiguity in the context of mathematical language, as well as pairwise interpretations of collective plurals. Additionally, we present a special scope ambiguity conjunctions give rise to. Finally, we describe an innovative plural interpretation algorithm implemented in Naproche for disambiguating plurals in DRT and giving them the interpretation that would normally be preferred in a mathematical context.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cohen, G.L.: Derived Sequences. Journal of Integer Sequences 6 (2003)
Cramer, M., Fisseni, B., Koepke, P., Kühlwein, D., Schröder, B., Veldman, J.: The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. In: Fuchs, N.E. (ed.) CNL 2009 Workshop. LNCS (LNAI), vol. 5972, pp. 170–186. Springer, Heidelberg (2010)
Egg, M.: Semantic underspecification. In: Maienborn, C., von Heusinger, K., Portner, P. (eds.) Semantics. HSK, vol. 33. De Gruyter Mouton (2011)
Johnson, M., Klein, E.: Discourse, anaphora and parsing. In: Proceedings of the 11th Coference on Computational linguistics (1986)
Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language. Kluwer Academic Publisher (1993)
Link, G.: Plural. In: von Stechow, A., Wunderlich, D. (eds.) Semantics. HSK, vol. 6. de Gruyter (1991)
Paskevich, A.: The syntax and semantics of the ForTheL language (2007)
Schwertel, U.: Plural Semantics for Natural Language Understanding – A Computational Proof-Theoretic Approach. PhD thesis. University of Zurich (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cramer, M., Schröder, B. (2012). Interpreting Plurals in the Naproche CNL. In: Rosner, M., Fuchs, N.E. (eds) Controlled Natural Language. CNL 2010. Lecture Notes in Computer Science(), vol 7175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31175-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-31175-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31174-1
Online ISBN: 978-3-642-31175-8
eBook Packages: Computer ScienceComputer Science (R0)