Questions in Dependent Type Semantics

Kazuki Watanabe, Koji Mineshima, Daisuke Bekki


Abstract
Dependent Type Semantics (DTS; Bekki and Mineshima, 2017) is a proof-theoretic compositional dynamic semantics based on Dependent Type Theory. The semantic representations for declarative sentences in DTS are types, based on the propositions-as-types paradigm. While type-theoretic semantics for natural language based on dependent type theory has been developed by many authors, how to assign semantic representations to interrogative sentences has been a non-trivial problem. In this study, we show how to provide the semantics of interrogative sentences in DTS. The basic idea is to assign the same type to both declarative sentences and interrogative sentences, partly building on the recent proposal in Inquisitive Semantics. We use Combinatory Categorial Grammar (CCG) as a syntactic component of DTS and implement our compositional semantics for interrogative sentences using ccg2lambda, a semantic parsing platform based on CCG. Based on the idea that the relationship between questions and answers can be formulated as the task of Recognizing Textual Entailment (RTE), we implement our inference system using proof assistant Coq and show that our system can deal with a wide range of question-answer relationships discussed in the formal semantics literature, including those with polar questions, alternative questions, and wh-questions.
Anthology ID:
W19-1103
Volume:
Proceedings of the Sixth Workshop on Natural Language and Computer Science
Month:
May
Year:
2019
Address:
Gothenburg, Sweden
Venue:
WS
SIG:
SIGSEM
Publisher:
Association for Computational Linguistics
Note:
Pages:
23–33
Language:
URL:
https://aclanthology.org/W19-1103
DOI:
10.18653/v1/W19-1103
Bibkey:
Cite (ACL):
Kazuki Watanabe, Koji Mineshima, and Daisuke Bekki. 2019. Questions in Dependent Type Semantics. In Proceedings of the Sixth Workshop on Natural Language and Computer Science, pages 23–33, Gothenburg, Sweden. Association for Computational Linguistics.
Cite (Informal):
Questions in Dependent Type Semantics (Watanabe et al., 2019)
Copy Citation:
PDF:
https://aclanthology.org/W19-1103.pdf