2017年
On the interpretation of dependent plural anaphora in a dependently-typed setting
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- ,
- ,
- 巻
- 10247
- 号
- 開始ページ
- 123
- 終了ページ
- 137
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-319-61572-1_9
- 出版者・発行元
- Springer Verlag
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 pronoun it in the mini-discourse Every 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 (MartinLö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.
- リンク情報
- ID情報
-
- DOI : 10.1007/978-3-319-61572-1_9
- ISSN : 1611-3349
- ISSN : 0302-9743
- DBLP ID : conf/jsai/TanakaMB16
- SCOPUS ID : 85026352636