DeepAI AI Chat
Log In Sign Up

Ambiguity and Incomplete Information in Categorical Models of Language

by   Dan Marsden, et al.
University of Oxford

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.


page 1

page 2

page 3

page 4


Why FHilb is Not an Interesting (Co)Differential Category

Differential categories provide an axiomatization of the basics of diffe...

Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

Compact closed categories have found applications in modeling quantum in...

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories

In this work, we analyse Petri nets where places are allowed to have a n...

Incremental Monoidal Grammars

In this work we define formal grammars in terms of free monoidal categor...

Coordination in Categorical Compositional Distributional Semantics

An open problem with categorical compositional distributional semantics ...

Cartesian bicategories with choice

Relational structures are emerging as ubiquitous mathematical machinery ...

Categorical Equivalences from State-Effect Adjunctions

From every pair of adjoint functors it is possible to produce a (possibl...