Ambiguity and incomplete information in categorical models of language
From MaRDI portal
Publication:5014785
Abstract: We investigate notions of ambiguity and partial information in categorical distributional models of natural language. Probabilistic ambiguity has previously been studied using Selinger's CPM construction. This construction works well for models built upon vector spaces, as has been shown in quantum computational applications. Unfortunately, it doesn't seem to provide a satisfactory method for introducing mixing in other compact closed categories such as the category of sets and binary relations. We therefore lack a uniform strategy for extending a category to model imprecise linguistic information. In this work we adopt a different approach. We analyze different forms of ambiguous and incomplete information, both with and without quantitative probabilistic data. Each scheme then corresponds to a suitable enrichment of the category in which we model language. We view different monads as encapsulating the informational behaviour of interest, by analogy with their use in modelling side effects in computation. Previous results of Jacobs then allow us to systematically construct suitable bases for enrichment. We show that we can freely enrich arbitrary dagger compact closed categories in order to capture all the phenomena of interest, whilst retaining the important dagger compact closed structure. This allows us to construct a model with real convex combination of binary relations that makes non-trivial use of the scalars. Finally we relate our various different enrichments, showing that finite subconvex algebra enrichment covers all the effects under consideration.
Recommendations
- Open system categorical quantum semantics in natural language processing
- Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
- Generalized relations in linguistics \& cognition
- Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics
- A Frobenius model of information structure in categorical compositional distributional semantics
Cites work
- A bestiary of sets and relations
- Adjoint functors and triples
- Affine parts of monads
- Bilinearity and Cartesian Closed Monads.
- Coalgebraic walks, in quantum and Turing computation
- Convexity, duality and effects
- Dagger compact closed categories and completely positive maps (extended abstract)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 1341534 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3296291 (Why is no real title available?)
- Notions of computation and monads
- Open system categorical quantum semantics in natural language processing
- Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
- Proceedings of the 12th international workshop on quantum physics and logic, QPL'15, Oxford, UK, July 15--17, 2015
- Semantics of weakening and contraction
- Strong functors and monoidal monads
- The expectation monad in quantum foundations
Cited in
(6)- Generalized relations in linguistics \& cognition
- An enriched category theory of language: from syntax to semantics
- Higher-order CPM constructions
- Language modeling with reduced densities
- Open system categorical quantum semantics in natural language processing
- Types and forgetfulness in categorical linguistics and quantum mechanics
This page was built for publication: Ambiguity and incomplete information in categorical models of language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014785)
