CCG 統語解析器 lightblue と定理証明器 wani によるJSeM Verbs データセットの自動推論.
松原 舞, 富田 朝, 戸次 大介
Non-Peer-Reviewed 国内学会 Paper
自然言語理解の研究において，大規模言語モデル(LLM) とは対照的なアプローチとして，合理主義自然科学のパラダイムに基づく言語学的パイプラインの研究が進展している．これは理論言語学に基づく統語解析，意味合成，自動証明のモジュールを接続したものであり，仮説検証を通じてモデルを改善する点で、経験主義的な LLM と相補的な関係にある．本論文では，CCG に基づく統語解析器 lightblueと，DTS のための定理証明器 wani を組み合わせた自然言語推論システムを用いて，JSeM 日本語テストセットの Verb セクションの推論問題を解くことを試みた．この試みは、システムの評価，エラー分析，理論へのフィードバックを含む，合理主義的計算言語学の実践例の一つである．