Research Project
Grant-in-Aid for Scientific Research (B)
形式意味論の研究において、意味理論が多様な言語事実を俯瞰的に予測・説明することに成功しているか否かを評価する方法は存在するのか、という問いが存在する。本研究計画ではその問いに対し、依存型意味論(DTS)による証明論的意味論の枠組みと、日本語CCGパーザ、定理自動証明器、および日本語推論テストセットJSeM、の組み合わせによって、DTSの理論を実装によって自動的に検証する方法論を提案する。