DeepAI AI Chat
Log In Sign Up

Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language

by   Mehrnoosh Sadrzadeh, et al.

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim's context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and we provide examples.


page 1

page 2

page 3

page 4


Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

Lambek calculus with a relevant modality !𝐋^* of arXiv:1601.06303 syntac...

Composing Conversational Negation

Negation in natural language does not follow Boolean logic and is theref...

Context-theoretic Semantics for Natural Language: an Algebraic Framework

Techniques in which words are represented as vectors have proved useful ...

A Resolution Calculus for Dynamic Semantics

This paper applies resolution theorem proving to natural language semant...

Measurement Context Extraction from Text: Discovering Opportunities and Gaps in Earth Science

We propose Marve, a system for extracting measurement values, units, and...

A Context-theoretic Framework for Compositionality in Distributional Semantics

Techniques in which words are represented as vectors have proved useful ...

Logical Semantics, Dialogical Argumentation, and Textual Entailment

In this chapter, we introduce a new dialogical system for first order cl...