推論による誤差を含む数値データからの知識獲得

2003 Fiscal Year Annual Research Report

• Project/Area Number: 14780304
• Research Institution: The University of Kitakyushu
• Principal Investigator: 廣渡 栄寿 北九州市立大学, 情報処理教育センター, 助教授 (60274429)
• Keywords: 学習理論 / 帰納推論 / 実数値関数 / 帰納的実数値関数 / 論駁性 / 信頼性

Research Abstract

平成15年度は、誤差を含む実数値データからの実数値関数の帰納推論における論駁推論可能性と信頼推論可能性についての研究を行った。実数値データからの学習を実行する際に、実際にデータが表す関数そのものを推論機械が学習できることが、実数値関数の学習の中で最も良い場合である。しかしながら、学習目標である実数値関数が仮説空間の中に存在していない場合もあり得る。そのような場合、従来の学習モデルの枠組みでは、取り扱うことができない。そこで、学習対象である実数値関数が仮説空間の中に存在していない場合、推論機械がその仮説空間そのものを論駁し、学習することができないことを有限時間で示す実数値関数の学習モデルとして、論駁推論を構築し、論駁推論可能な実数値関数のクラスを同定した。同様に、学習対象である実数値関数が仮説空間の中に存在しない場合、推論機械が出力する仮説の列が無限に発散し、推論機械が出力する仮説の列が収束した場合にのみ、その仮説に信頼をおくことができる実数値関数の学習モデルとして、信頼推論を構築し、信頼推論可能な実数値関数のクラスを同定した。それら二つの帰納推論の推論基準と、帰納的実数値関数の既存の推論基準である極限同定の成功基準、有限推論の成功基準、および枚挙推論の成功基準と比較を行い、相互関係を明らかにした。更に、論駁推論可能な2つのクラスの和集合と、信頼推論可能な2つのクラスの和集合も、それぞれ、論駁推論可能、信頼推論可能であることを示した。

Research Products

• [Publications] 廣渡栄寿, 平田耕一, 宮原哲浩, 有川節夫: "帰納的実数値関数の帰納推論における論駁性と信頼性"情報処理学会研究報告 IPSJ SIG Technical Reports. 2003-MPS-46. 1-4 (2003)
• [Publications] E.Hirowatari, K.Hirata, T.Miyahara, S.Arikawa: "Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions"情報処理学会論文誌 数理モデル化と応用. (2004)