Variable Handling and Compositionality: Comparing DRT and DTS

Yukiko Yana, Koji Mineshima, Daisuke Bekki

研究成果: Article査読


This paper provides a detailed comparison between discourse representation theory (DRT) and dependent type semantics (DTS), two frameworks for discourse semantics. Although it is often stated that DRT and those frameworks based on dependent types are mutually exchangeable, we argue that they differ with respect to variable handling, more specifically, how substitution and other operations on variables are defined. This manifests itself in two recalcitrant problems posed for DRT; namely, the overwrite problem and the duplication problem. We will see that these problems still pose a challenge for various extended compositional systems based on DRT, while they do not arise in a framework of DTS where substitution and other operations are defined in the standard type-theoretic manner without stipulating any additional constraints. We also compare the notions of contexts underlying these two kinds of frameworks, namely, contexts represented as assignment functions and contexts represented as proof terms, and see what different predictions they make for some linguistic examples.

ジャーナルJournal of Logic, Language and Information
出版ステータスPublished - 2019 6月 15

ASJC Scopus subject areas

  • コンピュータ サイエンス(その他)
  • 哲学
  • 言語学および言語


「Variable Handling and Compositionality: Comparing DRT and DTS」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。