ccg2lambda: A Compositional Semantics System
Code (1)
Tasks
Natural Language InferenceSemantic ParsingSimilar Papers 제목 키워드 기반
Lambda Dependency-Based Compositional Semantics
This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantificat…
Semantic ParsingIntroducing a Calculus of Effects and Handlers for Natural Language Semantics
In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied t…
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic. Word meaning is depicted by lambda terms of second…
Questions in Dependent Type Semantics
Dependent Type Semantics (DTS; Bekki and Mineshima, 2017) is a proof-theoretic compositional dynamic semantics based on Dependent Type Theory. The semantic representations for declarative sentences in DTS are types, base…
Natural Language InferenceRTESemantic ParsingVocal Bursts Type PredictionHigher-Order DisCoCat (Peirce-Lambek-Montague semantics)
We propose a new definition of higher-order DisCoCat (categorical compositional distributional) models where the meaning of a word is not a diagram, but a diagram-valued higher-order function. Our models can be seen as a…
Negation