• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics >Underspecification and interpretive parallelism in Dependent Type Semantics
【24h】

Underspecification and interpretive parallelism in Dependent Type Semantics

机译：从属类型语义学中的规格不足和解释并行性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The scope parallelism in the Geach sentence (Every boy loves, and every girl detests, some saxophonist) and the related parallel interpretation requirement in pronominal binding is a pervasive phenomenon found across different types of coordination and ellipsis phenomena. Previous accounts all resort to additional constraints of some sort that restrict the otherwise flexible syntax-semantics interface to avoid overgeneration. In this paper, we propose a novel approach to this long-standing problem. We show that, by taking a proof-theoretic perspective on natural language semantics and by viewing the ambiguity resolution for pronouns and indefinites as underspecification resolution that invokes extra proof search, a conceptually natural solution emerges for the problem of interpretive parallelism. The analysis is cast in Dependent Type Semantics, with Hybrid Type-Logical Categorial Grammar as the syntax-semantics interface backbone. For empirical illustration, we show how the proposed approach correctly accounts for the classical Geach paradigm and its pronominal variant.
机译：Geach句子中的范围平行性（每个男孩都喜欢，每个女孩都讨厌，有些萨克斯风吹奏者）以及代词绑定中的相关并行解释要求是一种普遍现象，可在不同类型的协调和省略现象中找到。先前的说明都使用某种附加约束，这些约束会限制本来灵活的语法-语义接口以避免过度生成。在本文中，我们提出了一种解决这一长期存在问题的新颖方法。我们表明，通过对自然语言语义学采用证明理论的观点，并将代词和不定式的歧义解决视为调用额外证明搜索的不足规格解决，概念上自然的解决方案出现了解释性并行性问题。该分析是在从属类型语义中进行的，其中混合类型-逻辑分类语法作为语法-语义接口的主干。为了进行实证说明，我们显示了所提出的方法如何正确说明经典的Geach范式及其代词变体。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号