Montague Semantics for Lambek Pregroups

05/17/2019
by   Giovanni de Felice, et al.
0

Lambek pregroups are algebraic structures modelling natural language syntax, while Montague captures semantics as a homomorphism from syntax to first-order logic. We introduce the variant RelCoCat of the categorical compositional distributional (DisCoCat) models of Coecke et al. where linear maps are replaced by relations. Our main result is a factorisation of RelCoCat models through free cartesian bicategories, as a corollary we get a logspace reduction from the semantics problem to the evaluation of conjunctive queries. Finally, we define question answering as an NP-complete problem.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/17/2019

Functorial Question Answering

We study the relational variant of the categorical compositional distrib...
05/13/2016

A Corpus-based Toy Model for DisCoCat

The categorical compositional distributional (DisCoCat) model of meaning...
11/08/2018

Towards Compositional Distributional Discourse Analysis

Categorical compositional distributional semantics provide a method to d...
01/14/2020

The geometry of syntax and semantics for directed file transformations

We introduce a conceptual framework that associates syntax and semantics...
08/09/2019

Functional programming with lambda-tree syntax

We present the design of a new functional programming language, MLTS, th...
11/08/2018

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

This paper compares classical copying and quantum entanglement in natura...
05/07/2021

Lambek pregroups are Frobenius spiders in preorders

"Spider" is a nickname of *special Frobenius algebras*, a fundamental st...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.