Lambda Dependency-Based Compositional Semantics
arXiv (Cornell University)Published 17 September 2013Open access
Percy Liang
Citations122
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
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 quantification implicit.
Abstract
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 quantification implicit, lambda DCS logical forms are generally more compact than those in lambda calculus.
Keywords
Computer Science
Cambridge University Press eBooksThe Description Logic Handbook
6,212 Citations2007Franz Baader, Franz Baader +17 more
Freebase
4,892 Citations2008Kurt Bollacker, Colin Evans +3 more
MQL provides an easy-to-use object-oriented interface to the tuple data in Freebase and is designed to facilitate the creation of collaborative, Web-based data-oriented applications.
Semantic Parsing on Freebase from Question-Answer Pairs
1,591 Citations2013Jonathan Berant, Andrew Chou +2 more
This paper trains a semantic parser that scales up to Freebase and outperforms their state-of-the-art parser on the dataset of Cai and Yates (2013), despite not having annotated logical forms.
Computational LinguisticsLearning Dependency-Based Compositional Semantics
523 Citations2012Percy Liang, Michael I. Jordan +1 more
A new semantic formalism, dependency-based compositional semantics (DCS) is developed and a log-linear distribution over DCS logical forms is defined and it is shown that the system obtains comparable accuracies to even state-of-the-art systems that do require annotated logical forms.
Linguistics and PhilosophyCombining Montague semantics and discourse representation
339 Citations1996Reinhard Muskens
The MIT Press eBooksType-Logical Semantics
250 Citations1998Bob Carpenter
Simply typed lambda-calculus higher-order logic applicative categorial grammar the Lambek calculus coordination and unbounded dependencies quantifiers and scope plurals pronouns and dependency modal logic intentionality tense and aspect.
CogPrints (Cogprints)Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
138 Citations1995Varol Akman
This is a review of From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, by Hans Kamp and Uwe Reyle, published by Kluwer Academic Publishers in 1993.