CCG統語解析器lightblueと定理証明器waniによるJSeMVerbsデータセットの自動推論

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