Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications

04/08/2020
by   A. D. Correia, et al.
0

Extended versions of the Lambek Calculus currently used in computational linguistics rely on unary modalities to allow for the controlled application of structural rules affecting word order and phrase structure. These controlled structural operations give rise to derivational ambiguities that are missed by the original Lambek Calculus or its pregroup simplification. Proposals for compositional interpretation of extended Lambek Calculus in the compact closed category of FVect and linear maps have been made, but in these proposals the syntax-semantics mapping ignores the control modalities, effectively restricting their role to the syntax. Our aim is to turn the modalities into first-class citizens of the vectorial interpretation. Building on the density matrix semantics of (Correia et al, 2019), we extend the interpretation of the type system with an extra spin density matrix space. The interpretation of proofs then results in ambiguous derivations being tensored with orthogonal spin states. Our method introduces a way of simultaneously representing co-existing interpretations of ambiguous utterances, and provides a uniform framework for the integration of lexical and derivational ambiguity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/20/2019

Density Matrices for Derivational Ambiguity

Recent work on vector-based compositional natural language semantics has...
research
05/12/2020

A Frobenius Algebraic Analysis for Parasitic Gaps

The interpretation of parasitic gaps is an ostensible case of non-linear...
research
07/30/2019

Quantale semantics of Lambek calculus with subexponential modalities

In this paper, we consider the polymodal version of Lambek calculus with...
research
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...
research
11/30/2017

Lexical and Derivational Meaning in Vector-Based Models of Relativisation

Sadrzadeh et al (2013) present a compositional distributional analysis o...
research
07/24/2021

Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS

We have previously published the Isabelle/HOL formalization of a general...
research
12/31/2017

Two Light Modalities for Recursion

We investigate the interplay between two modalities for controlling the ...

Please sign up or login with your details

Forgot password? Click here to reset