2001 Fiscal Year Annual Research Report
| Project/Area Number |
13680435
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
富田 悦次 電気通信大学, 電気通信学部, 教授 (40016598)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
若月 光夫 電気通信大学, 電気通信学部, 助手 (30251705)
西野 哲朗 電気通信大学, 電気通信学部, 助教授 (10198484)
小林 聡 電気通信大学, 電気通信学部, 助教授 (50251707)
|
|---|
| Keywords | 学習 / 形式言語 / オートマトン / 正の例 / 更新時間 / 更新回数 / 極限同定 / 最大クリーク |
|---|
| Research Abstract |
学習対象を主に形式言語とし,学習を遂行するための具体例として,学習目標言語に属す正の例だけを利用する場合に,それを効率良く(即ち,多項式時間的に)学習を行なう幾つかのアルゴリズムを開発した.
先ず,正則言語を部分的に超える言語族を規定するオートマトンとして,実時間空スタック受理式決定性1カウンタオートマトンにおいて,推移規則が各入力記号に対して1個のみ存在する様なモデルを設定し,それについて,学習の各段階における更新時間,および学習完了までの更新回数が多項式的に極限同定出来る学習アルゴリズムを開発した.
次に,遺伝子組み換え操作を形式的にモデル化した,splicing systemと呼ばれる言語生成システムを対象とした学習アルゴリズムを考案した.この内,null context splicing languageと言う正則言語の部分族に対しては,それを正の例のみから,多項式更新時間および多項式更新回数で極限同定出来る学習アルゴリズムを提唱した.
また,学習対象を言語変換機にまで拡張し,それに上記の成果を生かした.即ち,学習対象を一般化順序機械ある種の条件を設けた場合について検討し,出力情報を有効に使用することによって,これを多項式時間で推論出来るアルゴリズムを考案した.
更に,学習における概念のクラスタ化について重要となる,無向グラフ中の最大クリーク(最大派閥)を高速に抽出するアルゴリズムを開発・評価し,その有効性を確認した.
|
-
[Publications] 吉成 智和: "正則言語のある部分クラスに対する正の例からの多項式時間極限同定"電子情報通信学会技術研究報告. MP2001-28. 49-56 (2001)
-
[Publications] 寺口 潔: "ある種のカウンタに対する正の例からの多項式時間極限同定"電子情報通信学会技術研究報告. COMP2001-30. 9-16 (2001)
-
[Publications] 関 友和: "分枝限定法を用いた最大クリーク抽出アルゴリズムの効率化"電子情報通信学会技術研究報告. COMP2001-50. 101-108 (2001)
-
[Publications] 西田 大: "ある種の一般化順序機械の多項式時間推論アルゴリズム"LAシンポジウム(冬). 2001W-45. 1-14 (2001)
-
[Publications] 吉成 智和: "正則言語の部分クラスに対する正の例からの多項式時間極限同定"電子情報通信学会技術研究報告. COMP2001-83. 1-8 (2002)
-
[Publications] 守谷 純之介: "実時間決定性PDAと等価な拡張単純回帰ネットワークの構成法"電子情報通信学会論文誌. J85-D-I・2. 160-167 (2002)
