状況を領域知識として利用する学習アルゴリズムの研究

以情境为领域知识的学习算法研究

• 批准号: 05780296
• 负责人: 宮原 哲浩
• 金额: $ 0.58万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780296/
• 关键词: 機械発見; 論駁推論; 計算可能関数

本研究では、状況を領域知識として利用する学習アルゴリズムについて研究を行い、次の成果を得た。1.状況を領域知識として利用する学習アルゴリズムを、実際の機械学習・機械発見に応用することを目指して、その理論的な基礎を固めた。機械学習とは人間の持つ学習機能をコンピュータ上で実現することであり、機械発見とは大量の観測データ・実験データから、これを説明する科学的法則をコンピュータに発見させることである。2.計算可能関数に対応する一般的なアルゴリズム(計算手続き)で実現される規則を、観測データに対応する引数と関数値の対の例から、完全に自動的に機械発見するための理論的規則を与えることを目指した。このような機械発見の理論は、形式言語、文法、基本形式的体系と呼ばれる論理プログラムのモデルを対象にして、始められている。しかし、機械発見の一般的対象は、言語では表現できないため、計算可能関数を対象にして、機械発見の理論を展開する必要がある。3.本研究では、このような観点から、計算可能関数から成る添字付き族と、計算可能関数を計算できる基本形式的体系を機能的推論するという枠組みの下で機械発見の理論を展開した。与えられる観測データを説明する関数が、推論アルゴリズムが持つ仮設空間に属していない場合、このことを知らせて計算を停止するという論駁推論が、機械発見の第1段階として必要である。上記枠組みの下で、計算可能関数を計算するプログラミング系が論駁推論可能になるための条件を求め、ある種の多項式、原始機能的関数、関数を計算する基本形式的体系などの具体的なプログラミング系が、論駁推論可能であることを示した。

This study で は, condition を domain knowledge と し て using す る learning ア ル ゴ リ ズ ム に つ い を い, times の て research を た. 1. Status を domain knowledge と し て using す る learning ア ル ゴ リ ズ ム を, be interstate の machinery learning · 発 see に 応 with す る こ と を refers し て, そ の theory of な を solid め た. Rote learning と は の hold つ human learning function を コ ン ピ ュ ー タ on で be presently す る こ と で あ り, mechanical 発 see と は large の 観 measuring デ ー タ · be 験 デ ー タ か ら, こ れ を illustrate す る scientific law を コ ン ピ ュ ー タ に 発 see さ せ る こ と で あ る. 2. The number of calculations may masato に 応 seaborne す る general な ア ル ゴ リ ズ ム (computing hand 続 き) で be presently さ れ を る rules and 観 デ ー タ に 応 seaborne す る argument と masato the numerical の の example seaborne か ら, fully automatic に に machinery 発 see す る た め を rules の theory and え る こ と を refers し た. こ の よ う な mechanical 発 see は の theory, form words, grammar and basic forms of system と shout ば れ る logical プ ロ グ ラ ム の モ デ ル を like に seaborne し て, beginning め ら れ て い る. し か し, mechanical 発 see の generally like は seaborne, speech で は performance で き な い た め, calculation may be masato を like に seaborne し て, mechanical theory of 発 see の を す る necessary が あ る. 3. This study で は, こ の よ う な 観 point か ら, calculation may be masato か ら into る adding words to pay number may masato を き と, to calculate the で き る system を function of the basic form of inference す る と い う 枠 group み の で under mechanical 発 see の theory を し た. With え ら れ る 観 measuring デ ー タ を illustrate す る masato が, inference ア ル ゴ リ ズ ム が hold つ 仮 set space に genus し て い な い occasions, こ の こ と を know ら せ て computing を stop す る と い が barge う theory inference, mechanical 発 see paragraph 1 の と し て necessary で あ る. Written 枠 group み の で, calculation may be under masato number calculates を す る プ ロ グ ラ ミ ン グ barge is が theory inference may に な る た め の conditions を め, あ る の polynomial, the original function of the number of masato, masato number calculates を す system of the basic form of る な ど の specific な プ ロ グ ラ ミ ン グ が, theory of barge inference may で あ る こ と を shown し た.