TY - GEN
T1 - Resolving modal anaphora in dependent type semantics
AU - Tanaka, Ribeka
AU - Mineshima, Koji
AU - Bekki, Daisuke
N1 - Funding Information:
This paper is a revised and expanded version of []. We thank the two reviewers of LENLS11 for helpful comments and suggestions on an earlier version of this paper. I also thank the audiences at LENLS11, in particular, Chris Barker and Matthew Stone, for helpful comments and discussion. Special thanks to Nicholas Asher, who gave constructive comments and advice, and to Antoine Venant, Fabio Del Prete, and Márta Abrusán for their feedback and discussions. This research was supported by JST, CREST.
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84945561486&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84945561486&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-48119-6_7
DO - 10.1007/978-3-662-48119-6_7
M3 - Conference contribution
AN - SCOPUS:84945561486
SN - 9783662481189
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 83
EP - 98
BT - New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers
A2 - Murata, Tsuyoshi
A2 - Mineshima, Koji
A2 - Bekki, Daisuke
PB - Springer Verlag
T2 - 6th International Symposium on Artificial Intelligence, JSAI 2014
Y2 - 27 October 2014 through 28 October 2014
ER -