自然言語推論システムNeuralDTSの学習アルゴリズムの実装

本研究では，依存型意味論(DependentTypeSeman-tics,DTS)を基盤とした自然言語推論システムNeuralDTSの学習アルゴリズムを実装し，その挙動を検証した．DTSは文の意味を型理論に基づいて厳密に表現する一方，曖昧な述語を表現したり，言語表現同士の類似度を計算したりすることはできない．この課題に対処するため，Bekkiらにより提案されたNeuralDTSの枠組みを基に，その学習アルゴリズムを実装した．また，自然言語文データセットで分類器の学習を行い，DTSの述語と名前を埋め込むことによって構築したニューラル判定器の性能を検証した．