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

基于证明论和类型论的自然语言形式语义新框架

基本信息

批准号：
21K00016
负责人：
峯島宏次
金额：
$ 2.66万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

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

这项研究旨在根据现代逻辑中正式语义和证明理论和类型理论的方法来构建自然语言中合成语义的框架，并建立一种语义分析和推理系统，该语义分析和推理系统也可以用来研究计算语言学领域中的含义关系认识（自然语言推论）。今年，我们专注于以下三点：（1）从上一年开始，作为正式语义研究，我们专注于日语和英语比较语法（分级形容词，副词）与各种逻辑表达式（数量，否定，量化）之间的相互作用，并在类型类型的框架下使用综合语义进行了分析。此外，作为计算语言学的应用，该合成语义理论与基于类别语法和定理证明的解析器的推理系统相结合，并实施了语义分析和推理系统。进行了一系列研究，以使用暗示关系识别数据集验证构造系统，并根据最近的机器学习（深度学习）比较和评估系统。（2）作为对含义关系识别（自然语言推论）的基础研究，我们进行了研究，以验证基于神经网络（深度学习）的方法的泛化性能，这些方法已在近年来在人工智能和自然语言处理的背景下进行了积极研究。我们进行了研究，以测试自然语言推断的计算模型的推理能力和系统性，重点是日语的语法特征，日语具有合成结构。（3）作为对前提和分析的语义和务实研究之一，我们专注于诸如逆联系之类的相互冲突的话语关系，从上下文依赖性推理的角度来看，我们继续进行基于日语和英语语料库的研究以及推理关系的注释，并开始在动态语义的框架下进行正式的语义。

项目成果

期刊论文数量（26）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Evaluating Compositionality in Japanese Textual Entailment

评估日语文本蕴涵的组合性

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
佐藤拓真;窪田愛;峯島宏次;山口雅広;Koji Mineshima
通讯作者：
Koji Mineshima

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics

DOI：
10.18653/v1/2021.findings-acl.10
发表时间：
2021-06
期刊：
影响因子：
0
作者：
Hitomi Yanaka;K. Mineshima;Kentaro Inui
通讯作者：
Hitomi Yanaka;K. Mineshima;Kentaro Inui

含意関係と感情極性は対立的談話関係を捉えられるか

蕴涵关系和情感极性能否捕捉对立的话语关系？

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
佐藤拓真;窪田愛;峯島宏次
通讯作者：
峯島宏次

Beyond the conceptual-procedural distinction

超越概念与程序的区别

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
上智大学中世思想研究所(編);宮本久雄;津田謙治;出村みや子;佐藤真基子;山田望;矢内義顯;佐藤直子;山口雅広;辻内宣博;鶴岡賀雄;Koji Mineshima;Yuji Nishiyama and Koji Mineshima
通讯作者：
Yuji Nishiyama and Koji Mineshima

Implementing Natural Language Inference for Comparatives

实现比较的自然语言推理