研究課題
基盤研究(B)
形式意味論の研究において、意味理論が多様な言語事実を俯瞰的に予測・説明することに成功しているか否かを評価する方法は存在するのか、という問いが存在する。本研究計画ではその問いに対し、依存型意味論(DTS)による証明論的意味論の枠組みと、日本語CCGパーザ、定理自動証明器、および日本語推論テストセットJSeM、の組み合わせによって、DTSの理論を実装によって自動的に検証する方法論を提案する。
形式意味論において主流をなす理論はモデル理論的意味論であり、かつて1980 年代にはDRTやFCS、1990 年代にはDPLなど、革新的な枠組みが相次いで提案された。ところがそれらの動的意味論は、いずれも意味論におけるもう一つの中心的パラダイムである合成性原理と折り合いが悪いことが徐々に明らかになった。この問題が未解決であったことが、2000 年代以降の形式意味論における「枠組み」についての議論の停滞をもたらした。すなわち形式意味論においてはすでに数多くの興味深い言語現象が発見されており，それはこれからも発見され続けるであろうが、標準的理論とされているモデル理論的意味論によって，これらの現象の蓄積を俯瞰的に予測・説明することは難しくなっているのである。では、形式意味論において蓄積された言語現象を（ある程度であれ）俯瞰的に予測・説明しうる意味理論はそもそも存在するのであろうか？本研究の第一段階は、この問いに肯定的に答えることである。自然言語の意味の理論として依存型意味論(DTS) を用いることで、自然言語の意味における動態と合成性を両立することができる。それによって、動的側面を伴う言語現象に対して統一的に分析を与え、より有機的に連動する分析群によって意味の全体像を捉えることを試みている。本研究の第二段階は、DTS による意味の理論を実装によって自動検証することである。具体的な方法論として、日本語推論テストセットJSeM の構築と、依存型理論のための自動証明器の実装による意味理論の自動検証の研究がそれぞれ進行中である。
1: 当初の計画以上に進展している
当初の計画では、1. 弱交差現象(WCO) 2. VP削除 3. 時制(tense) 4. 自動定理証明の研究、の4課題に取り組む予定であった。このうち1.については、英語における主節WCOと関係節WCOの間には経験的な差があることをLFSに基づく厳密な検証によって示すことができ、国際学会LENLS20に採択されるなど大きな成果を得た（Fukushima+(2023)）。2.については8月まで順調に研究を進め、DTSに基づく新しい分析に到達したものの、論文が採択に至っていない。3.については成果をまとめた論文が計算言語学の国際ワークショップIWCSに採択されるなど成果を挙げた（Matsuoka+(2023))。続く成果をJK31に投稿中である。4.については新たな設計に基づく実装が進んでいるものの、論文執筆には至らず、2024年度に持ち越している。一方で、当初予定していなかった成果として、DTSによる意味表示を伴う日本語CCGツリーバンクの開発に取り組んでいる。この成果は自然言語処理のトップ国際学会の一つであるEACLのstudent research workshop (EACL-SRW 2024）に採択されるなど大きな成果を挙げた（Tomita+2023, 第二に、DTSによる意味分析と、現在主流であるdynamic plural semanticsによる意味分析を比較し、後者に固有の問題であるbinding problemが生じないことを示した論文が、国際学会AWPLに採択された（Yana+2023）。
前項の1.についてはそのまま展開する。2.については（2024年度は適切な投稿先がないため）保留し、3.については一度完成したものとする。4.については海外のチームと連携することによって打開する予定である。ReforgingによるCCGバンク構築、およびDTSとDSの比較研究についてもそのまま展開する。
すべて 2024 2023
すべて 雑誌論文 (5件) (うち国際共著 1件、 査読あり 5件、 オープンアクセス 2件) 学会発表 (9件) 図書 (1件) 学会・シンポジウム開催 (1件)
Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop
巻: - ページ: 196-207
Proceedings of the 6th Asian Workshop on Philosophical Logic (AWPL 2024)
巻: -
Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20)
巻: - ページ: 93-98
巻: - ページ: 82-87
New Frontiers in Artificial Intelligence (JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers)
巻: LNAI 13856 ページ: 228-241
10.1007/978-3-031-36190-6_16
