References & Citations
Computer Science > Computation and Language
Title: Density Matrices with Metric for Derivational Ambiguity
(Submitted on 20 Aug 2019 (v1), last revised 9 Jul 2020 (this version, v3))
Abstract: Recent work on vector-based compositional natural language semantics has proposed the use of density matrices to model lexical ambiguity and (graded) entailment (e.g. Piedeleu et al 2015, Bankova et al 2019, Sadrzadeh et al 2018). Ambiguous word meanings, in this work, are represented as mixed states, and the compositional interpretation of phrases out of their constituent parts takes the form of a strongly monoidal functor sending the derivational morphisms of a pregroup syntax to linear maps in FdHilb. Our aims in this paper are threefold. Firstly, we replace the pregroup front end by a Lambek categorial grammar with directional implications expressing a word's selectional requirements. By the Curry-Howard correspondence, the derivations of the grammar's type logic are associated with terms of the (ordered) linear lambda calculus; these terms can be read as programs for compositional meaning assembly with density matrices as the target semantic spaces. Secondly, we extend on the existing literature and introduce a symmetric, nondegenerate bilinear form called a "metric" that defines a canonical isomorphism between a vector space and its dual, allowing us to keep a distinction between left and right implication. Thirdly, we use this metric to define density matrix spaces in a directional form, modeling the ubiquitous derivational ambiguity of natural language syntax, and show how this alows an integrated treatment of lexical and derivational forms of ambiguity controlled at the level of the interpretation.
Submission history
From: Adriana Correia [view email][v1] Tue, 20 Aug 2019 13:49:30 GMT (15kb)
[v2] Fri, 20 Dec 2019 18:09:54 GMT (745kb,D)
[v3] Thu, 9 Jul 2020 22:41:33 GMT (279kb,D)
Link back to: arXiv, form interface, contact.