Resolving modal anaphora in dependent type semantics

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

研究成果: Conference contribution

抄録

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.

本文言語English
ホスト出版物のタイトルNew Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers
編集者Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki
出版社Springer Verlag
ページ83-98
ページ数16
ISBN(印刷版)9783662481189
DOI
出版ステータスPublished - 2015
外部発表はい
イベント6th International Symposium on Artificial Intelligence, JSAI 2014 - Kanagawa, Japan
継続期間: 2014 10月 272014 10月 28

出版物シリーズ

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

Other

Other6th International Symposium on Artificial Intelligence, JSAI 2014
国/地域Japan
CityKanagawa
Period14/10/2714/10/28

ASJC Scopus subject areas

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

フィンガープリント

「Resolving modal anaphora in dependent type semantics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル