証明論と図形論理の手法に基づく自然言語推論の統合的分析

• 資料種別: 文書・図像類
• タイトル: 証明論と図形論理の手法に基づく自然言語推論の統合的分析
• 著者・編者: 峯島, 宏次
• 著者標目: 峯島, 宏次
• 出版年月日等: 2020
• 出版年（W3CDTF）: 2020
• 並列タイトル等: ショウメイロン ト ズケイ ロンリ ノ シュホウ ニ モトズク シゼン ゲンゴ スイロン ノ トウゴウテキ ブンセキ; Shōmeiron to zukei ronri no shuhō ni motozuku shizen gengo suiron no tōgōteki bunseki; A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic
• タイトル（掲載誌）: 科学研究費補助金研究成果報告書
• 本文の言語コード: jpn; eng
• 件名標目: 形式意味論,論理学,証明論,自然言語推論,図形推論
• 対象利用者: 一般
• 一般注記: type:text; 本研究は、現代論理学における証明論及び図形推論の手法を用いて、より自然言語の構造に即した形で自然言語の推論を解析するための論理的枠組みを確立することを目的として進められた。型理論的な統語論（範疇文法）のもとで、自然言語の合成的意味論と証明系の整備を進め、またこれを様々な言語現象に適用することを試みた。さらにこの枠組みを計算言語学における含意関係認識（自然言語推論）の問題へと応用する研究を発展させ、その成果を公開した。 The aim of this research was to build a logical framework for analyzing natural language inferences in a way that is more in line with the structure of natural language, using the methods of proof theory in modern logic and diagrammatic logic. On the basis of a type-theoretic syntax (categorial grammar), I developed a compositional semantics and proof system for inferences with various linguistic phenomena in natural language. I also developed a method to apply this framework to the task of recognizing textual entailment in computational linguistics.; 研究種目 : 若手研究 (B) 研究期間 : 2017～2020 課題番号 : 17K13316 研究分野 : 言語哲学・形式意味論
• 一次資料へのリンクURL: https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_17K13316seika
• オンライン閲覧公開範囲: 限定公開
• 関連情報: 科研費研究者番号 : 80725739
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 慶應義塾大学 : 慶應義塾大学学術情報リポジトリ