[1E3-GS-9] 自然言語処理・情報検索: 機械学習

[1E3-GS-9-05] CCGと自動定理証明による比較表現の計算意味論

〇春田 和泉¹、峯島 宏次¹、戸次 大介¹ (1. お茶の水女子大学)

キーワード：比較構文、構成的意味論、定理証明、組合せ範疇文法

比較表現は、省略や数量表現、反意語などを伴う構成的に複雑な推論を形成し、自然言語推論タスクにおいて十分に扱われていない現象の一つである。形式意味論では、程度という概念に基づく比較表現や段階的表現のための構成的意味論の枠組みが存在するが、計算可能な推論システムはまだ十分に発展していない。本研究では、既存の組合わせ範疇文法 (CCG) パーサを用いて英語の比較・数量表現を適切な意味表示にマッピングするための構成的意味論を与え、比較表現の複雑な論理的推論を定理証明により導出できる推論システムを提案する。3つの含意関係認識データセットによる評価実験によって、論理・深層学習に基づく最新のモデルと比較し、本システムの有効性を検証する。