依存型意味論による自然言語の意味の研究とその自動検証

• 研究課題/領域番号: 23K28142
• 補助金の研究課題番号: 23H03452 (2023)
• 研究種目: 基盤研究(B)
• 配分区分: 基金 (2024); 補助金 (2023)
• 応募区分: 一般
• 審査区分: 小区分61030:知能情報学関連; 小区分60030:統計科学関連; 合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連
• 研究機関: お茶の水女子大学
• 研究代表者: 戸次 大介 お茶の水女子大学, 基幹研究院, 教授 (90431783)
• 研究期間 (年度): 2023-04-01 – 2028-03-31
• 研究課題ステータス: 交付 (2024年度)
• 配分額: 18,590千円 (直接経費: 14,300千円、間接経費: 4,290千円); 2027年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円); 2026年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円); 2025年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円); 2024年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円); 2023年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
• キーワード: 計算言語学 / 形式意味論 / 依存型意味論

研究開始時の研究の概要

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