We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)

Authors: Lachlan McPheat (University College London), Mehrnoosh Sadrzadeh (University College London), Hadi Wazni (Queen Mary University London), Gijs Wijnholds (Utrecht University)
Abstract: We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality as defined on Differential Categories. We instantiate this category to finite dimensional vector spaces and linear maps via quantisation functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of this extended calculus: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.03074
Subjects: Logic in Computer Science (cs.LO)
Journal reference: EPTCS 333, 2021, pp. 168-182
DOI: 10.4204/EPTCS.333.12
Cite as: arXiv:2101.10486 [cs.LO]
  (or arXiv:2101.10486v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jan 2021 00:05:44 GMT (368kb,D)

Link back to: arXiv, form interface, contact.