首页> 外文会议>New frontiers in artificial intelligence >Scope Parallelism in Coordination in Dependent Type Semantics
【24h】

Scope Parallelism in Coordination in Dependent Type Semantics

机译:从属类型语义协调中的范围并行性

获取原文
获取原文并翻译 | 示例

摘要

The scope parallelism in the so-called Geach sentences in right-node raising (Every boy admires, and every girl detests, some saxophonist) poses a difficult challenge to many analyses of right-node raising, including ones formulated in the type-logical variants of categorial grammar (e.g. Kubota and Levine (2015)). In this paper, we first discuss Steedman's (2012) solution to this problem in Combinatory Categorial Grammar, and point out some empirical problems for it. We then propose a novel analysis of the Geach problem within Hybrid Type-Logical Categorial Grammar (Kubota and Levine 2015), by incorporating Dependent Type Semantics (Bekki 2014) as the semantic component of the theory. The key solution for the puzzle consists in linking quantifiers to the argument positions that they correspond to via an anaphoric process. Independently motivated mechanisms for anaphora resolution in DTS then automatically predicts the scope parallelism in Geach sentences as a consequence of binding parallelism independently observed in right-node raising sentences.
机译:右节点提升中所谓的Geach句子中的范围并行性(每个男孩都钦佩,每个女孩都很讨厌,有些萨克斯管吹奏者)对许多右节点提升分析(包括以类型逻辑变体形式表达的分析)提出了挑战。分类语法(例如Kubota和Levine(2015))。在本文中,我们首先在组合分类语法中讨论了Steedman(2012)对这个问题的解决方案,并指出了一些实证问题。然后,我们通过将相依类型语义学(Bekki 2014)作为理论的语义成分,提出了一种对混合类型逻辑分类语法内的Geach问题的新颖分析(Kubota和Levine,2015年)。难题的关键解决方案在于通过量词处理将量词链接到它们所对应的自变量位置。然后,由于在右节点举起句子中独立观察到的绑定并行性,DTS中的独立动机回指解析机制自动预测了Geach句子中的范围并行性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号