論文

査読有り
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)
  • Ribeka Tanaka
  • ,
  • Koji Mineshima
  • ,
  • Daisuke Bekki

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.

リンク情報
DOI
https://doi.org/10.1007/978-3-319-61572-1_9
DBLP
https://dblp.uni-trier.de/rec/conf/jsai/TanakaMB16
URL
http://dblp.uni-trier.de/db/conf/jsai/jsai2016.html#conf/jsai/TanakaMB16
ID情報
  • DOI : 10.1007/978-3-319-61572-1_9
  • ISSN : 1611-3349
  • ISSN : 0302-9743
  • DBLP ID : conf/jsai/TanakaMB16
  • SCOPUS ID : 85026352636

エクスポート
BibTeX RIS