| Item Type |
Article |
| ID |
|
| Preview |
| Image |
|
| Caption |
|
|
| Full text |
KAKEN_17K13316seika.pdf
| Type |
:application/pdf |
Download
|
| Size |
:101.1 KB
|
| Last updated |
:May 17, 2022 |
| Downloads |
: 136 |
Total downloads since May 17, 2022 : 136
|
|
| Release Date |
|
| Title |
| Title |
証明論と図形論理の手法に基づく自然言語推論の統合的分析
|
| Kana |
ショウメイロン ト ズケイ ロンリ ノ シュホウ ニ モトズク シゼン ゲンゴ スイロン ノ トウゴウテキ ブンセキ
|
| Romanization |
Shōmeiron to zukei ronri no shuhō ni motozuku shizen gengo suiron no tōgōteki bunseki
|
|
| Other Title |
| Title |
A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic
|
| Kana |
|
| Romanization |
|
|
| Creator |
| Name |
峯島, 宏次
 |
| Kana |
ミネシマ, コウジ
|
| Romanization |
Mineshima, Kōji
|
| Affiliation |
慶應義塾大学・文学部 (三田) ・准教授
|
| Affiliation (Translated) |
|
| Role |
Research team head
|
| Link |
科研費研究者番号 : 80725739
|
|
| Edition |
|
| Place |
|
| Publisher |
|
| Date |
| Issued (from:yyyy) |
2021
|
| Issued (to:yyyy) |
|
| Created (yyyy-mm-dd) |
|
| Updated (yyyy-mm-dd) |
|
| Captured (yyyy-mm-dd) |
|
|
| Physical description |
|
| Source Title |
| Name |
科学研究費補助金研究成果報告書
|
| Name (Translated) |
|
| Volume |
|
| Issue |
|
| Year |
2020
|
| Month |
|
| Start page |
|
| End page |
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII Article ID |
|
| Ichushi ID |
|
| Other ID |
|
| Doctoral dissertation |
| Dissertation Number |
|
| Date of granted |
|
| Degree name |
|
| Degree grantor |
|
|
| Abstract |
本研究は、現代論理学における証明論及び図形推論の手法を用いて、より自然言語の構造に即した形で自然言語の推論を解析するための論理的枠組みを確立することを目的として進められた。型理論的な統語論（範疇文法）のもとで、自然言語の合成的意味論と証明系の整備を進め、またこれを様々な言語現象に適用することを試みた。さらにこの枠組みを計算言語学における含意関係認識（自然言語推論）の問題へと応用する研究を発展させ、その成果を公開した。
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.
|
|
| Table of contents |
|
| Keyword |
|
| NDC |
|
| Note |
研究種目 : 若手研究 (B)
研究期間 : 2017～2020
課題番号 : 17K13316
研究分野 : 言語哲学・形式意味論
|
|
| Language |
|
| Type of resource |
|
| Genre |
|
| Text version |
|
| Related DOI |
|
| Access conditions |
|
| Last modified date |
|
| Creation date |
|
| Registerd by |
|
| History |
|
| Index |
|
| Related to |
|
