A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction

DOI10.1007/S10849-019-09293-4zbMATH Open1477.03115arXiv1905.01647OpenAlexW2943342065WikidataQ126177659 ScholiaQ126177659MaRDI QIDQ2425336FDOQ2425336

Gijs Jasper Wijnholds, Mehrnoosh Sadrzadeh

Publication date: 26 June 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Abstract: We develop a vector space semantics for verb phrase ellipsis with anaphora using type-driven compositional distributional semantics based on the Lambek calculus with limited contraction (LCC) of J"ager (2006). Distributional semantics has a lot to say about the statistical collocation-based meanings of content words, but provides little guidance on how to treat function words. Formal semantics on the other hand, has powerful mechanisms for dealing with relative pronouns, coordinators, and the like. Type-driven compositional distributional semantics brings these two models together. We review previous compositional distributional models of relative pronouns, coordination and a restricted account of ellipsis in the DisCoCat framework of Coecke et al. (2010, 2013). We show how DisCoCat cannot deal with general forms of ellipsis, which rely on copying of information, and develop a novel way of connecting typelogical grammar to distributional semantics by assigning vector interpretable lambda terms to derivations of LCC in the style of Muskens & Sadrzadeh (2016). What follows is an account of (verb phrase) ellipsis in which word meanings can be copied: the meaning of a sentence is now a program with non-linear access to individual word embeddings. We present the theoretical setting, work out examples, and demonstrate our results on a toy distributional model motivated by data.

Full work available at URL: https://arxiv.org/abs/1905.01647

Recommendations

• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Publication:2762870
• Publication:4866981

zbMATH Keywords

ellipsislambda calculusnon-linearitycompositional distributional semanticstypelogical grammar

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Cites Work

• Computational interpretations of linear logic
• Title not available (Why is that?)
• No-cloning in categorical quantum mechanics
• Anaphora and type logical grammar
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• A Compositional Distributional Inclusion Hypothesis
• A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
• The Frobenius anatomy of word meanings I: subject and object relative pronouns
• The Frobenius anatomy of word meanings II: possessive relative pronouns
• Context Update for Lambdas and Vectors
• Pseudogapping as Pseudo-VP Ellipsis
• Bases as Coalgebras

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
• Pregroup Grammars, Their Syntax and Semantics

Uses Software

• word2vec

This page was built for publication: A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2425336)