Sentence Entailment in Compositional Distributional Semantics
arXiv:1512.04419 · doi:10.1007/s10472-017-9570-x
Abstract
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 compositional distributional semantics, phrase and sentence representations are functions of their grammatical structure and representations of the words therein. In this setting, grammatical structures are formalised by morphisms of a compact closed category and meanings of words are formalised by objects of the same category. These can be instantiated in the form of vectors or density matrices. This paper concerns the applications of this model to phrase and sentence level entailment. We argue that entropy-based distances of vectors and density matrices provide a good candidate to measure word-level entailment, show the advantage of density matrices over vectors for word level entailments, and prove that these distances extend compositionally from words to phrases and sentences. We exemplify our theoretical constructions on real data and a toy entailment dataset and provide preliminary experimental evidence.
8 pages, 1 figure, 2 tables, short version presented in the International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2016
References in corpus (3)
Cited by in corpus (13)
- QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer
- Quantum Natural Language Processing on Near-Term Quantum Computers
- Graded Entailment for Compositional Distributional Semantics
- Quantum Mathematics in Artificial Intelligence
- Language Modeling with Reduced Densities
- Translating and Evolving: Towards a Model of Language Change in DisCoCat
- Functorial Question Answering
- Composing Conversational Negation
- Grover's Algorithm for Question Answering
- Should Semantic Vector Composition be Explicit? Can it be Linear?
- Density Matrices with Metric for Derivational Ambiguity
- Density Matrices for Metaphor Understanding
- Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality