DeepAI AI Chat
Log In Sign Up

A Proof-Theoretic Approach to Scope Ambiguity in Compositional Vector Space Models

by   Gijs Jasper Wijnholds, et al.

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 readings, a direct scope reading and an inverse scope reading. This ambiguity has been treated in a vector space model using bialgebras by (Hedges and Sadrzadeh, 2016) and (Sadrzadeh, 2016), though without an explanation of the mechanism by which the ambiguity arises. We combine a polarised focussed sequent calculus for the non-associative Lambek calculus NL, as described in (Moortgat and Moot, 2011), with the vector based approach to quantifier scope ambiguity. In particular, we establish a procedure for obtaining a vector space model for quantifier scope ambiguity in a derivational way.


page 1

page 2

page 3

page 4


Quantifier Scope in Categorical Compositional Distributional Semantics

In previous work with J. Hedges, we formalised a generalised quantifiers...

Continuation semantics for multi-quantifier sentences: operation-based approaches

Classical scope-assignment strategies for multi-quantifier sentences inv...

Vector Space Semantics for Lambek Calculus with Soft Subexponentials

We develop a vector space semantics for Lambek Calculus with Soft Subexp...

A comparison of Vector Symbolic Architectures

Vector Symbolic Architectures (VSAs) combine a high-dimensional vector s...

Vector spaces as Kripke frames

In recent years, the compositional distributional approach in computatio...

Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions

We study rewriting systems whose underlying set of terms is equipped wit...

Jazz Contrafact Detection

In jazz, a contrafact is a new melody composed over an existing, but oft...