DeepAI AI Chat
Log In Sign Up

Montague Semantics for Lambek Pregroups

by   Giovanni de Felice, et al.

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.


page 1

page 2

page 3

page 4


Functorial Question Answering

We study the relational variant of the categorical compositional distrib...

A Corpus-based Toy Model for DisCoCat

The categorical compositional distributional (DisCoCat) model of meaning...

Towards Compositional Distributional Discourse Analysis

Categorical compositional distributional semantics provide a method to d...

Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics

Recent work on compositional distributional models shows that bialgebras...

A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics

The usual resource interpretation of linear logic says that variables ha...

Algebraic Semantics of Datalog with Equality

We discuss the syntax and semantics of relational Horn logic (RHL) and p...

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols

Hybrid Knowledge Bases based on Lifschitz's logic of Minimal Knowledge w...