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

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

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

本研究では,状況を領域知識として利用する学習アルゴリズムについて研究を行ない,次の成果を得た.状況を領域知識として利用する学習アルゴリズムを,実際の機械学習・機械発見に応用することを目指して,その理論的基礎を固めた.機械学習とは人間の持つ学習機能をコンピュータ上で実現することであり,機械発見とは大量の観測・実験データから,これを説明する化学的法則をコンピュータに発見させることである.機械発見の第1段階として,論駁推論が重要であることがわかっている.従来の研究では,推論の主な対象は言語であったため,コンピュータで計算できる最も一般的な対象である計算可能関数を対象として,推論可能性を調べた.また,機械発見へ応用するためには,有限推論が保証できれば望ましいことがわかっている.実際に機械発見へ応用するために,具体的で重要なプログラミング系の推論可能性を調べることが重要である.よって,本研究では,計算可能関数を計算する具体的なプログラミング系の有限推論可能性および論駁推論可能性を調べた.(1)手続き型プログラミング言語を抽象化したプログラムについて,ループの深さおよび個数に注目してできる関数の集合の有限推論可能性および論駁推論可能性を調べた.(2)単純関数と呼ばれる関数の集合について,減算と除算に注目してできる関数の集合の有限推論可能性および論駁推論可能性を調べた.(3)従来から計算理論で展開されてきた関数の階層が,機械発見の仮説空間として適しているかを調べた.

This study is based on the knowledge of the field and the use of learning resources. The knowledge of the field is used to study and develop the theory. Mechanical learning and human learning function are the key to the realization of mechanical learning, mechanical learning and a large number of measurement and implementation of chemical learning. The first step of mechanical development is to discuss the important inference. In the future, the main object of inference is to calculate the most common object and to adjust the possibility of inference. A mechanical inference is a finite inference, and a mechanical inference is a finite inference. In fact, mechanical development is very important, and the specific importance of the inferential possibility of the system is very important. In this study, we calculated the probable relationship and calculated the specific inferential probability of the system. (1)A set of finite inference possibilities of the number of relations in a set of abstract, abstract. (2)The set of pure relations and call relations is divided into two parts, subtraction and division, attention is paid to the finite inference possibility of the set of relations and refutation is adjusted. (3)In the future, computational theory will be developed, and the hierarchy of numbers will be adjusted.

项目成果

宮原哲浩: "関数の論駁推論について" 第9回人工知能学会全国大会論文集. (予定). (1995)

Tetsuhiro Miyahara：“论函数的反驳推理”日本人工智能学会第九届全国会议论文集（计划）（1995 年）。