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

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (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.

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS HAT-MASH, AI-Biz, JURISIN and SKL, 2016
EditorsSachiyo Arai, Ken Satoh, Daisuke Bekki, Setsuya Kurahashi, Yuiko Ohta
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783319615714
Publication statusPublished - 2017
Externally publishedYes
Event8th JSAI International Symposium on AI, JSAI-isAI 2016 - Yokohama, Japan
Duration: 2016 Nov 142016 Nov 16

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10247 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th JSAI International Symposium on AI, JSAI-isAI 2016

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'On the interpretation of dependent plural anaphora in a dependently-typed setting'. Together they form a unique fingerprint.

Cite this