構文論に基づく自然言語推論システムの開発

本研究では，構文構造を操作対象とした推論と，ニューラルネットワークに基づく推論とを組み合わせた自然言語推論システムを開発する．テキスト間の推論的関係を，ニューラルネットワークに基づく手法と同程度の精度・カバー率で同定し，かつ，それが同定される過程を人が解釈できる形で提示できる自然言語推論システムの実現を目標とする．本年度は，（１）開発する自然言語推論システムのモデル理論的な定式化，（２）自然言語推論を指向した構文解析の開発，を行った．（１）本研究では，ニューラルネットワークに基づく推論と，タブロー法に基づく証明を統合した自然言語推論システムを開発している．本システムの理論的な限界を明らかにするために，開発する自然言語推論システムをモデル理論的に定式化し，その理論的性質を明らかにした．開発するシステムにおいては，ある種の健全性が常に成り立つ一方で，完全性については成り立たないケースがあることが明らかとなった．（２）文中に出現する否定表現について，その影響が及ぶ範囲（スコープ）を同定する構文解析手法を開発した．自然言語推論において，スコープの同定は重要な役割を担う．本手法では，否定表現のスコープを構文構造に基づき同定する．本手法は，ヒューリスティックなルールに基づく従来手法を改良したものである．ニューラルネットワークに基づく構文解析とルールに基づくスコープ同定を組み合わせることにより，否定スコープ認識タスクにおいて，ニューラルネットワークに基づく最新の手法と同程度の精度・再現率が達成できることを実験により確認した．

本研究では，構文構造を操作対象とした推論と，ニューラルネットワークに基づく推論とを組み合わせた自然言語推論システムを開発する．テキスト間の推論的関係を，ニューラルネットワークに基づく手法と同程度の精度・カバー率で同定し，かつ，それが同定される過程を人が解釈できる形で提示できる自然言語推論システムの実現を目標とする．本年度は，（１）開発する自然言語推論システムのモデル理論的な定式化，（２）自然言語推論を指向した構文解析の開発，を行った．（１）本研究では，ニューラルネットワークに基づく推論と，タブロー法に基づく証明を統合した自然言語推論システムを開発している．本システムの理論的な限界を明らかにするために，開発する自然言語推論システムをモデル理論的に定式化し，その理論的性質を明らかにした．開発するシステムにおいては，ある種の健全性が常に成り立つ一方で，完全性については成り立たないケースがあることが明らかとなった．（２）文中に出現する否定表現について，その影響が及ぶ範囲（スコープ）を同定する構文解析手法を開発した．自然言語推論において，スコープの同定は重要な役割を担う．本手法では，否定表現のスコープを構文構造に基づき同定する．本手法は，ヒューリスティックなルールに基づく従来手法を改良したものである．ニューラルネットワークに基づく構文解析とルールに基づくスコープ同定を組み合わせることにより，否定スコープ認識タスクにおいて，ニューラルネットワークに基づく最新の手法と同程度の精度・再現率が達成できることを実験により確認した．