Abstract
The paper introduces an index of fully-specified logical form for unrestricted natural language. The index is argued to facilitate both computation of entailment and generation under semantic control.
This is a preview of subscription content, log in via an institution to check access.
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
Baldridge, J., Kruijff, G.-J.M.: Multi-modal Combinatory Categorial Grammar. In: Proceedings of the 10th Annual Meeting of the European Association for Computational Linguistics, pp. 211–218 (2003)
Bobrow, D., Condoravdi, C., Crouch, R., de Paiva, V., Karttunen, L., King, T., Nairn, L., Price, L., Zaenen, A.: Precision focused Textual inference. In: Proceedings of the workshop on textual entailment and Paraphrasing, pp. 16–21. ACL (2007)
Bos, J., Merkert, K.: When logical inference helps determining textual entailment (and when it doesn’t). In: Proceedings 2nd Pascal RTE Challenge Workshop (2006)
Carroll, J., Copestake, A., Flickinger, D., Poznànski, V.: An Efficient Chart Generator for (semi-)Lexicalist Grammars. In: Proceedings of the 7th European Workshop on Natural Language Generation (EWNLG 1999), pp. 86–95 (1999)
Chambers, N., Cre, D., Grenager, T., Hall, D., Kiddon, C., MacCartney, B., de Marneffe, M., Ramage, D., Yeh, E., Manning, C.: Learning Alignments and Leveraging Natural Logic. In: Proceedings of the workshop on textual entailment and Paraphrasing, pp. 165–170. ACL (2007)
Chierchia, G., McConnel-Ginet, S.: Meaning and Grammar. MIT Press, Cambridge (2000)
Cooper, R., Crouch, D., van Eijck, J., Fox, C., van Genabith, J., Jaspers, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., Pulman, S.: Using the Framework. Technical Report Fracas Consortium, LRE 62-051 (1996)
Cremers, C.: On Parsing Coordination Categorially. Leiden University, HIL dissertations (1993)
Cremers, C., Reckman, H.: Exploiting logical forms. In: Verberne, S., Van Halteren, H., Coppen, P.-A. (eds.) Computational Linguistics in the Netherlands 2007. LOT, pp. 5–20 (2008)
Honcoop, M.: Dynamic excursions on weak islands. LOT (1998)
Moortgat, M.: Categorial Type Logics. In: Van Benthem, J., Ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93–177. Elsevier/Amsterdam, The MIT Press/Cambridge (1997)
Reckman, H.: Flat but not shallow. Towards flatter representations in deep semantic parsing for precise and feasible inferencing. LOT (2009)
Rosetta, M.T.: Rosetta. In: Compositional Translation. Kluwer, Dordrecht (1994)
Seuren, P.: The natural logic of language and cognition. Pragmatics 16(1) 16(1), 103–138 (2006)
Shieber, S.: The Problem of Logical-Form Equivalence. Computational Linguistics 19(1), 179–190 (1993)
Tatu, M., Boldovan, D.: COGEX at RTE3. In: Proceedings of the workshop on textual entailment and Paraphrasing, pp. 22–27. ACL (2007)
White, M., Baldridge, J.: Adapting Chart Realization to CCG. In: Proceedings Ninth European Workshop on Natural Language Generation, EACL (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cremers, C. (2010). NL from Logic: Connecting Entailment and Generation. In: Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (eds) Logic, Language and Meaning. Lecture Notes in Computer Science(), vol 6042. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14287-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-14287-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14286-4
Online ISBN: 978-3-642-14287-1
eBook Packages: Computer ScienceComputer Science (R0)