Handling Verb Phrase Anaphora with Dependent Types and Events
This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora. The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora.
Code (0)
등록된 구현이 없습니다.
Tasks
Vocal Bursts Type PredictionSimilar Papers 제목 키워드 기반
Sensala: a Dynamic Semantics System for Natural Language Processing
Here we describe Sensala , an open source framework for the semantic interpretation of natural language that provides the logical meaning of a given text. The framework{'}s theory is based on a lambda calculus with excep…
ImplicaturesLa r\'esolution d'anaphores au-del\`a de la fronti\`ere de la phrase (The Anaphora Resolution Beyond Sentence Boundary)
Cette d{\'e}monstration pr{\'e}sente une extension de nos outils d{'}analyse syntaxique et d{'}{\'e}tiquetage morphosyntaxique qui prend en compte la r{\'e}solution d{'}anaphores pronominales non seulement {\`a} l{'}int{…
SentenceA Typedriven Vector Semantics for Ellipsis with Anaphora using Lambek Calculus with Limited Contraction
We develop a vector space semantics for verb phrase ellipsis with anaphora using type-driven compositional distributional semantics based on the Lambek calculus with limited contraction (LCC) of J\"ager (2006). Distribut…
SentenceWord EmbeddingsSequence-to-Sequence Networks Learn the Meaning of Reflexive Anaphora
Reflexive anaphora present a challenge for semantic interpretation: their meaning varies depending on context in a way that appears to require abstract variables. Past work has raised doubts about the ability of recurren…