| アイテムタイプ |
Article |
| ID |
|
| プレビュー |
| 画像 |
|
| キャプション |
|
|
| 本文 |
KAKEN_17K13316seika.pdf
| Type |
:application/pdf |
Download
|
| Size |
:101.1 KB
|
| Last updated |
:May 17, 2022 |
| Downloads |
: 212 |
Total downloads since May 17, 2022 : 212
|
|
| 本文公開日 |
|
| タイトル |
| タイトル |
証明論と図形論理の手法に基づく自然言語推論の統合的分析
|
| カナ |
ショウメイロン ト ズケイ ロンリ ノ シュホウ ニ モトズク シゼン ゲンゴ スイロン ノ トウゴウテキ ブンセキ
|
| ローマ字 |
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
|
| カナ |
|
| ローマ字 |
|
|
| 著者 |
| 名前 |
峯島, 宏次
 |
| カナ |
ミネシマ, コウジ
|
| ローマ字 |
Mineshima, Kōji
|
| 所属 |
慶應義塾大学・文学部 (三田) ・准教授
|
| 所属(翻訳) |
|
| 役割 |
Research team head
|
| 外部リンク |
科研費研究者番号 : 80725739
|
|
| 版 |
|
| 出版地 |
|
| 出版者 |
|
| 日付 |
| 出版年(from:yyyy) |
2021
|
| 出版年(to:yyyy) |
|
| 作成日(yyyy-mm-dd) |
|
| 更新日(yyyy-mm-dd) |
|
| 記録日(yyyy-mm-dd) |
|
|
| 形態 |
|
| 上位タイトル |
| 名前 |
科学研究費補助金研究成果報告書
|
| 翻訳 |
|
| 巻 |
|
| 号 |
|
| 年 |
2020
|
| 月 |
|
| 開始ページ |
|
| 終了ページ |
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII論文ID |
|
| 医中誌ID |
|
| その他ID |
|
| 博士論文情報 |
| 学位授与番号 |
|
| 学位授与年月日 |
|
| 学位名 |
|
| 学位授与機関 |
|
|
| 抄録 |
本研究は、現代論理学における証明論及び図形推論の手法を用いて、より自然言語の構造に即した形で自然言語の推論を解析するための論理的枠組みを確立することを目的として進められた。型理論的な統語論（範疇文法）のもとで、自然言語の合成的意味論と証明系の整備を進め、またこれを様々な言語現象に適用することを試みた。さらにこの枠組みを計算言語学における含意関係認識（自然言語推論）の問題へと応用する研究を発展させ、その成果を公開した。
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.
|
|
| 目次 |
|
| キーワード |
|
| NDC |
|
| 注記 |
研究種目 : 若手研究 (B)
研究期間 : 2017～2020
課題番号 : 17K13316
研究分野 : 言語哲学・形式意味論
|
|
| 言語 |
|
| 資源タイプ |
|
| ジャンル |
|
| 著者版フラグ |
|
| 関連DOI |
|
| アクセス条件 |
|
| 最終更新日 |
|
| 作成日 |
|
| 所有者 |
|
| 更新履歴 |
|
| インデックス |
|
| 関連アイテム |
|
