On the interpretation of dependent plural anaphora in a dependently-typed setting

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルNew Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS HAT-MASH, AI-Biz, JURISIN and SKL, 2016
編集者Sachiyo Arai, Ken Satoh, Daisuke Bekki, Setsuya Kurahashi, Yuiko Ohta
出版社Springer Verlag
ページ123-137
ページ数15
ISBN(印刷版)9783319615714
DOI
出版ステータスPublished - 2017
外部発表はい
イベント8th JSAI International Symposium on AI, JSAI-isAI 2016 - Yokohama, Japan
継続期間: 2016 11月 142016 11月 16

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
10247 LNAI
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Conference

Conference8th JSAI International Symposium on AI, JSAI-isAI 2016
国/地域Japan
CityYokohama
Period16/11/1416/11/16

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「On the interpretation of dependent plural anaphora in a dependently-typed setting」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル