System with Generalized Quantifiers on Dependent Types for Anaphora
نویسندگان
چکیده
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cumulative and branching continuations, and donkey anaphora.
منابع مشابه
Generalized Quantifiers on Dependent Types: A System for Anaphora
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cu...
متن کاملAn Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of gen...
متن کاملAn Expressive First-Order Logic with Flexible Typing
We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of ge...
متن کاملSentence-internal Different as Quantifier-internal Anaphora
– describe the patterns of interpretation and outline the emerging typology involved in relating: (i) various kinds of distributive quantifiers and (ii) various kinds of distributivity-dependent items – formally capture these patterns and typology in a logical system that involves: (i) fine-grained, structured contexts of evaluation that distributivity-dependent items are sensitive to (ii) a fa...
متن کاملUnderspecified Interpretations in a Curry-typed Representation Language
In previous work we have developed Property Theory with Curry Typing ( ), an intensional first-order logic for natural language semantics. permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within in order to represent proportional generalized quantifiers like ‘most’, and we suggest a dynamic type-the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014