Resolving modal anaphora in dependent type semantics

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

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

Abstract

This paper presents an analysis of modal subordination in the framework of Dependent Type Semantics, a framework of natural language semantics based on dependent type theory. Dependent types provide powerful type structures that have been applied to various discourse phenomena in natural language, yet there has been little attempt to produce an account of modality and its interaction with anaphora from the perspective of dependent type theory. We extend the framework of Dependent Type Semantics with a mechanism of handling explicit quantification over possible worlds, and show how modal anaphora and subordination can be handled within this framework.

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers
EditorsTsuyoshi Murata, Koji Mineshima, Daisuke Bekki
PublisherSpringer Verlag
Pages83-98
Number of pages16
ISBN (Print)9783662481189
DOIs
Publication statusPublished - 2015 Jan 1
Externally publishedYes
Event6th International Symposium on Artificial Intelligence, JSAI 2014 - Kanagawa, Japan
Duration: 2014 Oct 272014 Oct 28

Publication series

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

Other

Other6th International Symposium on Artificial Intelligence, JSAI 2014
CountryJapan
CityKanagawa
Period14/10/2714/10/28

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Resolving modal anaphora in dependent type semantics'. Together they form a unique fingerprint.

  • Cite this

    Tanaka, R., Mineshima, K., & Bekki, D. (2015). Resolving modal anaphora in dependent type semantics. In T. Murata, K. Mineshima, & D. Bekki (Eds.), New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers (pp. 83-98). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9067). Springer Verlag. https://doi.org/10.1007/978-3-662-48119-6_7