Resolving Modal Anaphora in Dependent Type Semantics
- Cite this paper as:
- Tanaka R., Mineshima K., Bekki D. (2015) Resolving Modal Anaphora in Dependent Type Semantics. In: Murata T., Mineshima K., Bekki D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2014. Lecture Notes in Computer Science, vol 9067. Springer, Berlin, Heidelberg
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.