2007 Fiscal Year Annual Research Report
決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用
| Project/Area Number |
18500108
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
若月 光夫 The University of Electro-Communications, 電気通信学部, 助教 (30251705)
|
|---|
| Keywords | 計算論的学習理論 / 正例からの学習 / 極限同定 / 等価性判定 / アルゴリズム / 決定性文脈自由言語 / プッシュダウンオートマトン / 変換器 |
|---|
| Research Abstract |
計算論的学習理論は,人工知能の実現において最も重要な研究分野の一つである機械学習の可能性を,数理的で厳密に解析を行う研究パラダイムである.このような研究の対象として形式言語を選択し,その部分クラスの中で実用上重要な決定性文脈自由言語を受理する決定性プッシュダウンオートマトン(DPDA)またはそれに対応した文法について,その構造に妥当な制約を課した部分クラスを幾つか対象として選び,計算論的な手法によって学習アルゴリズムを開発し,その応用を図ることを目的として研究を行った.本年度は以下の研究成果を得た.
1.学習アルゴリズム開発の基礎構築 DPDAに出力機構を付与した決定性プッシュダウン変換器(DPDT)の等価性問題について,ε-推移を許したある種のDPDTに対する単純かつ直接的な判定アルゴリズムを開発し,これまでに発表した研究成果の拡張を行った.また,実時間空スタック受理式限定ワンカウンタ変換器と呼ぶDPDTの部分クラスに対しては,その等価性判定が多項式時間で行えることを証明した.等価性判定は形式言語の学習において重要な意味を持っており,上記の成果はDPDTの部分クラスに対する質問による学習に利用することが期待できる.
2.学習アルゴリズムの開発 Szilard strict DROCAと呼ぶDPDAの部分クラスに対する,正例からの極限同定アルゴリズムを開発し,ある意味において多項式時間極限同定可能なことを明らかにした.また,有限状態の変換器のある部分クラスに対する正例からの極限同定アルゴリズムを開発し,多項式時間極限同定可能なことを明らかにした.
上記の研究成果を踏まえ,今後はこれまでに開発した学習アルゴリズムを実際の問題事例に適用し,応用することを計画している.
|
