Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Lambek calculus with a relevant modality !L⇤ of (Kanovich et al., 2016) syntactically resolves parasitic gaps in natural language. It resembles the Lambek calculus with anaphora LA of (Jäger, 1998) and the Lambek calculus with controlled contraction L⌃ of (Wijnholds and Sadrzadeh, 2019b) which deal with anaphora and ellipsis. What all these calculi add to Lambek calculus is a copying and moving behaviour. Distributional semantics is a subfield of Natural Language Processing that uses vector space semantics for words via co-occurrence statistics in large corpora of data. Compositional vector space semantics for Lambek Calculi are obtained via the DisCoCat models (Coecke et al., 2010). LA does not have a vector space semantics and the semantics of L⌃ is not compositional. Previously, we developed a DisCoCat semantics for !L⇤ and focused on the parasitic gap applications. In this paper, we use the vector space instance of that general semantics and show how one can also interpret anaphora, ellipsis, and for the first time derive the sloppy vs strict vector readings of ambiguous anaphora with ellipsis cases. The base of our semantics is tensor algebras and their finite dimensional variants: the Fermionic Fock spaces of Quantum Mechanics. We implement our model and experiment with the ellipsis disambiguation task of (Wijnholds and Sadrzadeh, 2019a).
Abstract
Lambek calculus with a relevant modality !L⇤ of (Kanovich et al., 2016) syntactically resolves parasitic gaps in natural language. It resembles the Lambek calculus with anaphora LA of (Jäger, 1998) and the Lambek calculus with controlled contraction L⌃ of (Wijnholds and Sadrzadeh, 2019b) which deal with anaphora and ellipsis. What all these calculi add to Lambek calculus is a copying and moving behaviour. Distributional semantics is a subfield of Natural Language Processing that uses vector space semantics for words via co-occurrence statistics in large corpora of data. Compositional vector space semantics for Lambek Calculi are obtained via the DisCoCat models (Coecke et al., 2010). LA does not have a vector space semantics and the semantics of L⌃ is not compositional. Previously, we developed a DisCoCat semantics for !L⇤ and focused on the parasitic gap applications. In this paper, we use the vector space instance of that general semantics and show how one can also interpret anaphora, ellipsis, and for the first time derive the sloppy vs strict vector readings of ambiguous anaphora with ellipsis cases. The base of our semantics is tensor algebras and their finite dimensional variants: the Fermionic Fock spaces of Quantum Mechanics. We implement our model and experiment with the ellipsis disambiguation task of (Wijnholds and Sadrzadeh, 2019a).
참고문헌 (42)
- Bach, Kent, "Review: Robert J. Stainton: Words and Thoughts: Subsentences, Ellipsis, and the Philosophy of Language", Mind, 117 (2008)[DOI]
- Baez, John, "Physics, topology, logic, and computation: A rosetta stone. In B. Coecke, (ed.), New Structures in Physics", Lecture Notes in Physics, 813 (2011), Springer
- Barry, Guy, "Proof Figures and Structural Operations for Categorial Grammar", Proceedings of EACL 1995, pp.198~203 (1995)
- Benthem, Johan Van, "The Lambek Calculus", Studies in Linguistics and Philosophy, pp.35~68 (1988), Springer[DOI]
- Blute, Richard, "Dierential categories", Mathematical Structures in Computer Science, 16(6), pp.1049~1083 (2006)
- Blute, Richard, "Fock space: a model of linear exponential types", the MFPS paper Holomorphic models of exponential types in linear logic, pp.474~512 (1994)
- Alain Bruguières, "Hopf monads", Advances in Mathematics, 215(2), pp.679~733 (2007), Elsevier BV[DOI]
- Chomsky, Noam, "Lectures on Government and Binding" (1981), De Gruyter Mouton
- Coecke, Bob, "Lambek vs. lambek: Functorial vector space semantics and string diagrams for lambek calculus", Annals of Pure and Applied Logic, 11, pp.1079~1100 (2013)
- Coecke, Bob, "Mathematical Foundations for Distributed Compositional Model of Meaning", Lambek Festschrift. Linguistic Analysis, 36, pp.345~384 (2010)
- Correia, Adriana D, "Density Matrices with Metric for Derivational Ambiguity", Journal of Applied Logics, 2631(5), pp.795~ (2020)
- Greco, Giuseppe, "Vector Spaces as Kripke Frames", Journal of Applied Logics - IfCoLog Journal, 7(5), pp.853~873 (2020)
- Grefenstette, Edward, "Experimental Support for a Categorical Compositional Distributional Model of Meaning", Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, pp.1394~1404 (2011), Association for Computational Linguistics
- Bart Jacobs, "Semantics of weakening and contraction", Annals of Pure and Applied Logic, 69(1), pp.73~106 (1994), Elsevier BV[DOI]
- Jäger, Gerhard, "A Multi-Modal Analysis of Anaphora and Ellipsis", University of Pennsylvania Working Papers in Linguistics, 5(2), pp.2~ (1998)
- Jäger, "Anaphora and type logical grammar, volume 24" (2006), Springer Science & Business Media
- André Joyal, "The geometry of tensor calculus, I", Advances in Mathematics, 88(1), pp.55~112 (1991), Elsevier BV[DOI]
- Kanovich, Max, "Undecidability of the Lambek calculus with a relevant modality", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9804, pp.240~256 (2016)[DOI]
- Kartsaklis, Dimitri, "Linguistic matrix theory", Annales de l’Institut Henri Poincaré, 6(3), pp.385~426 (2019)
- Kartsaklis, Dimitri, "Separating Disambiguation from Composition in Distributional Semantics", Proceedings of the Seventeenth Conference on Computational Natural Language Learning, pp.114~123 (2013), Association for Computational Linguistics
- Yves Lafont, "Soft linear logic and polynomial time", Theoretical Computer Science, 318(1-2), pp.163~180 (2004), Elsevier BV[DOI]
- David I. Spivak, "Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)", Electronic Proceedings in Theoretical Computer Science, 333, pp.168~182 (2021), Open Publishing Association[DOI]
- Melliès, Paul-André, "Categorical semantics of linear logic", Interactive Models of Computation and Program Behaviour, Panoramas et Synthèses, 27, pp.1~196 (2009), Société Mathématique de France
- Milajevs, Dmitrijs, "Evaluating neural word representations in tensor-based compositional settings", Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), pp.708~719 (2014), Association for Computational Linguistics
- Moortgat, Michael, "Multimodal linguistic inference", Journal of Logic, Language and Information, 5(3-4), pp.349~385 (1996)
- Moot, Richard, "The Logic of Categorial Grammars:A deductive account of natural language syntax and semantics", LNCS, 6850 (2012), Springer
- Morrill, Glyn, "Grammar logicised: relativisation", Linguistics and Philosophy, 40, pp.119~163 (2017)
- Morrill, Glyn, "A note on movement in logical grammar", Journal of Language Modelling, 6, pp.353~363 (2018)
- Morrill, Glyn, "Categorial Deductions and Structural Operations", Studies in Categorial Grammar, Edinburgh Working Papers in Cognitive Science, 5, pp.1~21 (1990), Centre for Cognitive Science
- Morrill, Glyn, "Generalising discontinuity", Traitement Automatique des Langues, 27, pp.119~143 (1996)
- Morrill, Glyn, "Computational coverage of tlg: Nonlinearity", Proceedings of NLCS’15. Third Workshop on Natural Language and Computer Science, 32, pp.51~63 (2015), EasyChair Publications
- Morrill, Glyn, "On the logic of expansion in natural language", Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, 9, pp.228~246 (2016), Springer
- Morrill, Glyn, "The displacement calculus", Journal of Logic, Language and Information, 20(1), pp.1~48 (2011)
- Muskens, Reinhard, "Static and dynamic vector semantics for lambda calculus models of natural language", Journal of Language Modelling (2019)
- Sadrzadeh, Mehrnoosh, "A frobenius algebraic analysis for parasitic gaps", Journal of Applied Logics - IfCoLog Journal, 7(5), pp.823~852 (2020)
- Selinger, Peter, "A Survey of Graphical Languages for Monoidal Categories. In Bob Coecke, (ed.), New Structures for Physics", Lecture Notes in Physics book series, 813, pp.289~355 (2010), Springer
- Wijnholds, Gijs, "Coherent Diagrammatic Reasoning in Compositional Distributional Semantics", LNCS Proceedings of the International Workshop on Logic, Language, Information, and Computation (WoLLIC), 10388, pp.371~386 (2017)
- Wijnholds, Gijs, "A Compositional Vector Space Model of Ellipsis and Anaphora", Ph. D., pp.2020
- Wijnholds, Gijs, "Classical copying versus quantum entanglement in natural language: The case of VP-ellipsis", Electronic Proceedings in Theoretical Computer Science, EPTCS, 283, pp.103~119 (2018)
- Wijnholds, Gijs, "Evaluating composition models for verb phrase elliptical sentence embeddings", Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 1, pp.261~271 (2019), Association for Computational Linguistics
- Wijnholds, Gijs, "A type-driven vector semantics for ellipsis with anaphora using lambek calculus with limited contraction", Journal of Logic Language and Information, 28, pp.331~358 (2019)
- Wijnholds, Gijs, "Representation learning for type-driven composition", Proceedings of the 24th Conference on Computational Natural Language Learning, pp.313~324 (2020), Association for Computational Linguistics
