English
Related papers

Related papers: Categorical Vector Space Semantics for Lambek Calc…

200 papers

Coecke, Sadrzadeh, and Clark (arXiv:1003.4394v1 [cs.CL]) developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributional meaning of the sentence is a…

Computation and Language · Computer Science 2011-07-29 Edward Grefenstette , Mehrnoosh Sadrzadeh , Stephen Clark , Bob Coecke , Stephen Pulman

Semantic composition remains an open problem for vector space models of semantics. In this paper, we explain how the probabilistic graphical model used in the framework of Functional Distributional Semantics can be interpreted as a…

Computation and Language · Computer Science 2017-09-04 Guy Emerson , Ann Copestake

A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that…

Logic in Computer Science · Computer Science 2024-05-28 Stepan L. Kuznetsov , Alexander Okhotin

Categorical compositional distributional semantics is a model of natural language; it combines the statistical vector space models of words with the compositional models of grammar. We formalise in this model the generalised quantifier…

Computation and Language · Computer Science 2019-11-12 Jules Hedges , Mehrnoosh Sadrzadeh

Compact closed categories have found applications in modeling quantum information protocols by Abramsky-Coecke. They also provide semantics for Lambek's pregroup algebras, applied to formalizing the grammatical structure of natural…

Computation and Language · Computer Science 2014-05-13 Dimitri Kartsaklis , Mehrnoosh Sadrzadeh , Stephen Pulman , Bob Coecke

In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the…

Logic in Computer Science · Computer Science 2021-05-13 Giuseppe Greco , Fei Liang , Michael Moortgat , Alessandra Palmigiano , Apostolos Tzimoulis

We investigate the extent to which compositional vector space models can be used to account for scope ambiguity in quantified sentences (of the form "Every man loves some woman"). Such sentences containing two quantifiers introduce two…

Computation and Language · Computer Science 2018-10-26 Gijs Jasper Wijnholds

A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic. We adapt this approach to abstract categorial grammars (ACG). Thus we define…

Logic · Mathematics 2020-05-21 Sergey Slavnov

Categorical compositional distributional model of Coecke et al. (2010) suggests a way to combine grammatical composition of the formal, type logical models with the corpus based, empirical word representations of distributional semantics.…

Computation and Language · Computer Science 2015-10-15 Esma Balkir , Mehrnoosh Sadrzadeh , Bob Coecke

The categorical compositional approach to meaning has been successfully applied in natural language processing, outperforming other models in mainstream empirical language processing tasks. We show how this approach can be generalized to…

Logic in Computer Science · Computer Science 2017-10-02 Joe Bolt , Bob Coecke , Fabrizio Genovese , Martha Lewis , Dan Marsden , Robin Piedeleu

Categorical compositional distributional semantics is an approach to modelling language that combines the success of vector-based models of meaning with the compositional power of formal semantics. However, this approach was developed…

Computation and Language · Computer Science 2024-01-17 Martha Lewis

In categorical compositional semantics of natural language one studies functors from a category of grammatical derivations (such as a Lambek pregroup) to a semantic category (such as real vector spaces). We compositionally build…

Logic in Computer Science · Computer Science 2018-11-09 Jules Hedges , Martha Lewis

We propose applying the categorical compositional scheme of [6] to conceptual space models of cognition. In order to do this we introduce the category of convex relations as a new setting for categorical compositional semantics, emphasizing…

Artificial Intelligence · Computer Science 2016-08-05 Josef Bolt , Bob Coecke , Fabrizio Genovese , Martha Lewis , Daniel Marsden , Robin Piedeleu

The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…

Logic in Computer Science · Computer Science 2021-11-30 Thomas Ehrhard

We present Dependent Lambek Calculus, a domain-specific dependent type theory for verified parsing and formal grammar theory. In $\textrm{Lambek}^D$, linear types are used as a syntax for formal grammars,and parsers can be written as linear…

Programming Languages · Computer Science 2025-05-01 Steven Schaefer , Nathan Varner , Pedro H. Azevedo de Amorim , Max S. New

We study the computational complexity of the parsing problem of a variant of Lambek Categorial Grammar that we call {\em semidirectional}. In semidirectional Lambek calculus $\SDL$ there is an additional non-directional abstraction rule…

cmp-lg · Computer Science 2008-02-03 Jochen Doerre

The aim of this paper is twofold: first we will use vector space distributional compositional categorical models of meaning to compare the meaning of sentences in Irish and in English (and thus ascertain when a sentence is the translation…

Computation and Language · Computer Science 2018-11-09 Brian Tyrrell

The categorical compositional distributional model of natural language provides a conceptually motivated procedure to compute the meaning of sentences, given grammatical structure and the meanings of its words. This approach has…

Computation and Language · Computer Science 2016-01-26 Desislava Bankova , Bob Coecke , Martha Lewis , Daniel Marsden

We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent versions of Morrill's calculi, and focus on their fragments…

Logic in Computer Science · Computer Science 2020-10-02 Max Kanovich , Stepan Kuznetsov , Andre Scedrov

Distributional semantic models provide vector representations for words by gathering co-occurrence frequencies from corpora of text. Compositional distributional models extend these from words to phrases and sentences. In categorical…

Computation and Language · Computer Science 2018-10-10 Esma Balkir , Dimitri Kartsaklis , Mehrnoosh Sadrzadeh