Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)

01/26/2021
by   Lachlan McPheat, et al.
0

We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality as defined on Differential Categories. 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 this extended calculus: 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

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/06/2020

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

We develop a categorical compositional distributional semantics for Lamb...
research
11/22/2021

Vector Space Semantics for Lambek Calculus with Soft Subexponentials

We develop a vector space semantics for Lambek Calculus with Soft Subexp...
research
01/23/2016

Undecidability of the Lambek calculus with a relevant modality

Morrill and Valentin in the paper "Computational coverage of TLG: Nonlin...
research
01/30/2019

Compositionality for Recursive Neural Networks

Modelling compositionality has been a longstanding area of research in t...
research
01/21/2018

Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus...
research
09/16/2023

A Categorical Framework for Program Semantics and Semantic Abstraction

Categorical semantics of type theories are often characterized as struct...
research
04/15/2019

On the Lambek Calculus with an Exchange Modality

In this paper we introduce Commutative/Non-Commutative Logic (CNC logic)...

Please sign up or login with your details

Forgot password? Click here to reset