証明論と型理論に基づく自然言語の形式意味論の新しい枠組み

点击翻译按钮获取中文摘要

本研究は、形式意味論と現代論理学の証明論・型理論の手法に基づいて、自然言語の合成的意味論の枠組みを構築し、計算言語学の領域における含意関係認識（自然言語推論）の研究にも利用可能な意味解析・推論システムを確立することを目的とする。本年度は、以下の３点について重点的に研究を行った。(1) 前年度に引き続き、形式意味論的な研究として、日本語・英語の比較構文（段階的な形容詞、副詞）と様々な論理表現（数量、否定、量化）との相互作用に着目して、型理論と範疇文法の枠組みのもとで合成的意味論による分析を進めた。また計算言語学への応用として、この合成的意味論を範疇文法のパーザ、定理証明器に基づく推論システムと接合し、意味解析・推論システムを実装した。構築したシステムを含意関係認識のデータセットを用いて検証し、近年の機械学習（深層学習）に基づくシステムと比較、評価する一連の研究を行った。(2) 含意関係認識（自然言語推論）の基礎研究として、近年人工知能・自然言語処理の文脈で活発に研究されているニューラルネットワーク（深層学習）に基づくアプローチの汎化性能を検証する研究を行った。特に合成的な構造をもつ日本語に特徴的な構文に着目して、自然言語推論の計算モデルの推論能力と体系性をテストする研究を行った。(3) 前提・照応の意味論・語用論的研究の一つとして、逆接などの対立的な談話関係に着目し、文脈依存的な推論の観点から、日本語・英語のコーパスに基づく調査、推論関係のアノテーションを進めると同時に、前提の動的意味論の枠組みのもとでの形式意味論的な分析に着手した。