Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: McPheat, Lachlan, Sadrzadeh, Mehrnoosh, Wazni, Hadi, Wijnholds, Gijs
Format: Preprint
Veröffentlicht: 2020
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866910556114386944
author McPheat, Lachlan
Sadrzadeh, Mehrnoosh
Wazni, Hadi
Wijnholds, Gijs
author_facet McPheat, Lachlan
Sadrzadeh, Mehrnoosh
Wazni, Hadi
Wijnholds, Gijs
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2005_03074
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
McPheat, Lachlan
Sadrzadeh, Mehrnoosh
Wazni, Hadi
Wijnholds, Gijs
Computation and Language
Logic in Computer Science
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.
title Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
topic Computation and Language
Logic in Computer Science
url https://arxiv.org/abs/2005.03074