Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

Abstract

We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality, very similar to the structure of a Differential Category. We instantiate this category to finite dimensional vector spaces and linear maps via "quantisation" functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of !L*: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors.

References in corpus (13)

• Distributed Representations of Words and Phrases and their Compositionality
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Experimental Support for a Categorical Compositional Distributional Model of Meaning
• The Frobenius anatomy of word meanings I: subject and object relative pronouns
• Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
• The Frobenius anatomy of word meanings II: possessive relative pronouns
• Sentence Entailment in Compositional Distributional Semantics
• Undecidability of the Lambek calculus with a relevant modality
• Lexical and Derivational Meaning in Vector-Based Models of Relativisation
• A Frobenius Algebraic Analysis for Parasitic Gaps
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)
• Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis
• Why FHilb is Not an Interesting (Co)Differential Category