On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting
复制标题
论依赖型环境中依赖复数回指的解释
DOI：
10.1007/978-3-319-61572-1_9
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Daisuke Bekki
中科院分区：
文献类型：
--
作者：
Ribeka Tanaka;Koji Mineshima;Daisuke Bekki
回指消解对对象之间的依赖关系敏感。一个例子，这是众所周知的复数回指文学，是依赖解释的代词在微型话语每个男孩收到了礼物。依赖解释的标准解释使用赋值函数集来记录依赖关系（货车den贝格[4，5]，Nouwen [17]，Braschanu [7]）。然而，这种方法需要对语境的核心概念进行重大修改，并对从属解释给予特殊处理。在本文中，我们从依赖类型理论（Martin-Löf [16]）的角度提供了另一种解释。我们占依赖关系的依赖函数类型（-类型），这是独立的动机依赖类型理论内的对象。我们将采用依赖类型语义学（Bekki [1]，Bekki和Mineshima [2]）作为语义框架，并说明依赖函数类型如何编码依赖关系，并自然地为依赖解释提供资源。
Anaphora resolution is sensitive to dependency relations between objects. One example, which is well known in the plural anaphora literature, is the dependent interpretation of the pronounitin the mini-discourseEvery boy received a present. They each opened it. The standard account of the dependent interpretation records dependency relations using sets of assignment functions (van den Berg [4, 5], Nouwen [17], Brasoveanu [7]). This approach, however, requires substantial changes to the central notion of context and gives special treatment to dependent interpretations. In this paper we provide an alternative account from the perspective of dependent type theory (Martin-Löf [16]). We account for dependency relations in terms of dependent function types (-types), which are independently motivated objects within dependent type theory. We will adopt Dependent Type Semantics (Bekki [1], Bekki and Mineshima [2]) as a semantic framework and illustrate how dependent function types encode dependency relations and naturally provide a resource for dependent interpretations.