A Vector Model for Type-Theoretical Semantics

  title={A Vector Model for Type-Theoretical Semantics},
  author={Konstantin Sokolov},
Vector models of distributional semantics can be viewed as a geometric interpretation of a fragment of dependent type theory. By extending to a bigger fragment to include the dependent product we achieve a significant increase in expressive power of vector models, which allows for an implementation of contextual adaptation of word meanings in the compositional setting. 

Tables from this paper



Records and Record Types in Semantic Theory

It is suggested that formulating linguistic semantics in terms of record types gives tools to develop a single theory which includes aspects of Montague semantics, Discourse Representation Theory, situation semantics and Head-Driven Phrase Structure Grammar.

Composition in Distributional Models of Semantics

This article proposes a framework for representing the meaning of word combinations in vector space in terms of additive and multiplicative functions, and introduces a wide range of composition models that are evaluated empirically on a phrase similarity task.

Type Theory and Lexical Decomposition

This chapter explores the relation between methods of lexical representation involving decomposition and the theory of types as used in linguistics and programming semantics and shows how classic Generative Lexicon representations and operations can be viewed in terms of types and selection.

A Type Composition Logic for Generative Lexicon

A new type calculus is outlined that captures one of the fundamental ideas of GL: providing a set of techniques governing type shifting possibilities for various lexical items so as to allow for the combination of Lexical items in cases where there is an apparent type mismatch.

Type-Theoretical Grammar

1. Preliminary remarks 2. Gradual introduction to type theory 3. Logical operators in English 4. Anaphoric expressions 5. Temporal reference 6. Text and discourse 7. Context and possible worlds 8.

Mathematical Foundations for a Compositional Distributional Model of Meaning

A mathematical framework for a unification of the distributional theory of meaning in terms of vector space models and a compositional theory for grammatical types, for which the type reductions of Pregroups are lifted to morphisms in a category, a procedure that transforms meanings of constituents into a meaning of the (well-typed) whole.

Formal semantics in modern type theories with coercive subtyping

The theory of coercive subtyping adequately extends the modern type theories and plays a very useful role in making type theories more expressive for formal semantics, and provides a powerful formal framework to model interesting linguistic phenomena such as copredication.

A Structured Vector Space Model for Word Meaning in Context

A novel structured vector space model is presented that makes it possible to integrate syntax into the computation of word meaning in context and performs at and above the state of the art for modeling the contextual adequacy of paraphrases.

A Montagovian Generative Lexicon

This paper outlines a simple extension of Montague semantics which amends the standard compositional mechanisms for the use of specific terms provided by the lexicon, in order to account forGenerative Lexical Semantics theory.

Lexical Meaning in Context - A Web of Words

The purpose of this monograph is to introduce the reader to the concept of type presuppositions and to discuss their application in the context of type-composition logic.