2010 Fiscal Year Annual Research Report
メタラムダ計算とモナドによる自然言語の意味・文脈情報の統合
| Project/Area Number |
22680013
|
|---|
| Research Institution | Ochanomizu University |
|---|
Principal Investigator |
戸次 大介 お茶の水女子大学, 大学院・人間文化創成科学研究科, 准教授 (90431783)
|
|---|
| Keywords | 自然言語処理 / 数理言語学 / 型理論 / 圏論 |
|---|
| Research Abstract |
本研究では、CCG等の形式文法理論において意味表示の記述に型付きラムダ計算を用いることに着目し、同じく型付きラムダ計算を用いるプログラミング意味論の手法であるモナド(monad)を用いることで、自然言語の文脈・談話情報を統一的な枠組みで記述することを目指す。
Bekki(2008)においてはメタラムダ計算の米田関手を用いた意味論を提示し、β簡約規則の健全性を提示した。一方、Bekki and Asai(2009)ではメタラムダ計算のための代入規則を定義したが、これはBekki(2008)の意味論において健全ではなかった。Bekki(2008)ではベースレベルの項を対象とした代入しか、構文的に認められていなかったためである。
本年度の研究業績においては、メタラムダ計算の定義を整理し、メタレベルの項に対する代入も扱えるようにするとともに、それらの構文に対する圏論的意味論を与えた。その上で、あらためてαβη簡約規則および代入規則の健全性を示したことで、メタラムダ計算の理論的基礎を確立した。
また、様々な言語現象の分析に、メタラムダ計算を介して定義したモナドや継続の概念が有効であることも示しつつある。例として「フォーカス」「逆読み」「」など、のような、一般的には構成的意味計算が不可能であると考えられている現象において、モナドや継続を用いることが有効であり、これは現在の意味論の範疇を越えた言語情報に対して構成的意味計算を行うことを可能にするという意味で、言語処理においても有用な技術につながる。
|
-
-
-
-
-
-
-
-
[Journal Article] Introduction to LENLS 62010
Author(s)
Bekki, Daisuke
-
Journal Title
New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers), Kumiyo NAKAKOJI, Yohei MURAKAMI, Eric MCCREADY (Eds.), JSAI-isAI, Springer.
Volume: LNAI 6284
Pages: 159-160
-
-
-
-
-
-
-
-
