A presuppositional analysis of definite descriptions in proof theory

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

In this paper we propose a proof-theoretic analysis of presuppositions in natural language, focusing on the interpretation of definite descriptions. Our proposal is based on the natural deduction system of ε-calculus introduced in Carlström [2] and on constructive type theory [11,12]. Based on the idea in [2], we use the ε-calculus as an intermediate language in the translation process from natural language into constructive type theory. Using this framework, we formulate the process of presupposition resolution as the process of searching for a derivation in a natural deduction system. In particular, we show how to treat presupposition projection and accommodation within our proof-theoretic framework.

本文言語English
ホスト出版物のタイトルNew Frontiers in Artificial Intelligence - JSAI 2007 Conference and Workshops, Revised Selected Papers
ページ214-227
ページ数14
DOI
出版ステータスPublished - 2008 8月 27
イベント21st Annual Conference of The Japanese Society for Artificial Intelligence, JSAI 2007 - Miyazaki, Japan
継続期間: 2007 6月 182007 6月 22

出版物シリーズ

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

Conference

Conference21st Annual Conference of The Japanese Society for Artificial Intelligence, JSAI 2007
国/地域Japan
CityMiyazaki
Period07/6/1807/6/22

ASJC Scopus subject areas

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

フィンガープリント

「A presuppositional analysis of definite descriptions in proof theory」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル