2023年度 人工知能学会全国大会(第37回)

講演情報

一般セッション

一般セッション » GS-6 言語メディア処理

[2E6-GS-6] 言語メディア処理

2023年6月7日(水) 17:30 〜 19:10 E会場 (大会議室 A2)

座長:中山 英樹(東京大学) [現地]

18:10 〜 18:30

[2E6-GS-6-03] 依存型意味論による自然言語の意味の理論

見通しと課題

〇戸次 大介1 (1. お茶の水女子大学)

キーワード:依存型意味論、証明論的意味論、形式意味論

形式意味論の研究において、蓄積された多様な言語事実を俯瞰的に予測・説明しうる意味理論は存在するのか、そしてそのような理論が、多様な言語事実を俯瞰的に予測・説明することに成功しているか否かを評価する方法は存在するのか。本研究ではその問いに対し、依存型意味論(DTS)による証明論的意味論の枠組みと、1) DTSに基づく意味合成を行う日本語CCGパーザ、2) DTSのための定理自動証明器、および 3) 意味論的現象を記述した日本語推論テストセットJSeM、の組み合わせによって、DTSの理論を実装によって自動的に検証する方法論を提案する。また、これまでDTSの枠組みに基づいて行った経験的な意味論研究について俯瞰するとともに、それらの研究に上記の方法論を適用する上での見通しと課題についても述べる。

講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。

パスワード