| 研究課題/領域番号 |
10680341
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
笠井 琢美 電気通信大学, 電気通信学部, 教授 (70027382)
|
|---|
| 研究分担者 |
蓮沼 徹 電気通信大学, 電気通信学部, 助手 (30313406)
武永 康彦 電気通信大学, 電気通信学部, 講師 (20236491)
岩田 茂樹 電気通信大学, 電気通信学部, 教授 (80102028)
|
|---|
| キーワード | 形式言語理論 / 木オートマトン / 機械翻訳 / TAG / 文脈自由木オートマトン / 計算量 / プッシュダウン木オートマトン |
|---|
| 研究概要 |
本研究の目的は、形式言語理論、学習理論、計算量理論などの計算機科学の基礎理論で得られたいろいろな結果を自然言語処理に応用しようとするものである。
前年度までの研究で、自然言語の分野で現在注目されているTree Adjoining Grammar(以下ではTAGと略す)を、形式言語理論の立場から見直し、Spine Grammarと呼ぶ新しい文法を定義した。この文法のクラスは、TAGと同じ文字列言語のクラスを定義し、TAGより自然な木言語のクラスを生成する。この結果はTheory of Computing Systems 33に掲載された。また、学習理論として、順序機械が極限同定可能であることを証明した。順序機械は、最も基本的な言語変換機モデルである。この結果は電子情報通信学会論文誌に掲載された。
本年度の成果は、前年度までに得られた文法モデルに対応するオートマトンモデルを構成したことである。このモデルを、転送スタック付プッシュダウン・オートマトンと呼ぶ。現在自然言語処理で、構文解析がうまくいっていないのは、おそらく適当なオートマトンモデルが存在しなかったためであろうと考えられる。今後の計画は、このモデルを使って、実際に翻訳機を構成してみることである。
研究分担者の岩田は、アルゴリズムの下界を求める研究でいくつかの成果を出した。(Inform.and Comput.に掲載予定)武永は、ブール関数のOBDD計算量に関し、いくつかの結果を得た。(Discrete Applied Math.とTheoret.Comp.Sci.に掲載予定)また、蓮沼はグラフアルゴリズムに関するいくつかの結果を得た。(Discrete Math.とInform.Processing Lett.に掲載予定)
|
