Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis

This paper compares classical copying and quantum entanglement in natural language by considering the case of verb phrase (VP) ellipsis. VP ellipsis is a non-linear linguistic phenomenon that requires the reuse of resources, making it the ideal test case for a comparative study of different copying behaviours in compositional models of natural language. Following the line of research in compositional distributional semantics set out by (Coecke et al., 2010) we develop an extension of the Lambek calculus which admits a controlled form of contraction to deal with the copying of linguistic resources. We then develop two different compositional models of distributional meaning for this calculus. In the first model, we follow the categorical approach of (Coecke et al., 2013) in which a functorial passage sends the proofs of the grammar to linear maps on vector spaces and we use Frobenius algebras to allow for copying. In the second case, we follow the more traditional approach that one finds in categorial grammars, whereby an intermediate step interprets proofs as non-linear lambda terms, using multiple variable occurrences that model classical copying. As a case study, we apply the models to derive different readings of ambiguous elliptical phrases and compare the analyses that each model provides.

[1]  Michael Moortgat,et al.  Lexical and Derivational Meaning in Vector-Based Models of Relativisation , 2017, ArXiv.

[2]  Dimitri Kartsaklis,et al.  Prior Disambiguation of Word Tensors for Constructing Sentence Vectors , 2013, EMNLP.

[3]  Stephen Clark,et al.  Mathematical Foundations for a Compositional Distributional Model of Meaning , 2010, ArXiv.

[4]  Patrick Pantel,et al.  From Frequency to Meaning: Vector Space Models of Semantics , 2010, J. Artif. Intell. Res..

[5]  Stuart M. Shieber,et al.  Ellipsis and higher-order unification , 1991 .

[6]  Dimitri Kartsaklis.  Coordination in Categorical Compositional Distributional Semantics , 2016, SLPCS@QPL.

[7]  Mehrnoosh Sadrzadeh,et al.  Experimental Support for a Categorical Compositional Distributional Model of Meaning , 2011, EMNLP.

[8]  Stephen Clark,et al.  The Frobenius anatomy of word meanings I: subject and object relative pronouns , 2013, J. Log. Comput..

[9]  S. Abramsky.  No-Cloning In Categorical Quantum Mechanics , 2009, 0910.2401.

[10]  Stephen Clark,et al.  Vector Space Models of Lexical Meaning , 2015 .

[11]  Katalin Bimbó,et al.  Proof Theory: Sequent Calculi and Related Formalisms , 2014 .

[12]  Rostislav Horcík,et al.  Full Lambek Calculus with Contraction is Undecidable , 2016, J. Symb. Log..

[13]  Dimitri Kartsaklis,et al.  Verb Phrase Ellipsis using Frobenius Algebras in Categorical Compositional Distributional Semantics , 2016 .

[14]  Michael Moortgat,et al.  Multimodal linguistic inference , 1995, J. Log. Lang. Inf..

[15]  Bart Jacobs,et al.  Bases as Coalgebras , 2011, CALCO.

[16]  Glyn Morrill,et al.  On the Logic of Expansion in Natural Language , 2016, LACL.

[17]  Mehrnoosh Sadrzadeh,et al.  Context Update for Lambdas and Vectors , 2016, LACL.

[18]  Glyn Morrill,et al.  Computational Coverage of TLG: Nonlinearity , 2015, NLCS@ICALP/LICS.

[19]  Bayu Surarso,et al.  Cut Elimination in Noncommutative Substructural Logics , 1996, Reports Math. Log..

[20]  Mehrnoosh Sadrzadeh,et al.  Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus , 2013, Ann. Pure Appl. Log..

[21]  Gerhard Jäger.  Anaphora and Type Logical Grammar , 2005 .

[22]  Gerhard Jaeger,et al.  A Multi-Modal Analysis of Anaphora and Ellipsis , 1998 .

[23]  Patrick Pantel,et al.  DIRT @SBT@discovery of inference rules from text , 2001, KDD '01.