科学的法則を発見する機械学習アルゴリズムの研究

研究机器学习算法发现科学规律

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

本課題では,科学的法則を発見する機械学習アルゴリズムついて研究を行ない,次の成果を得た.機械学習とは人間の持つ学習機能をコンピュータ上で実現することである.実験,観測データからコンピュータに科学的法則を発見させることを事実からの機械発見という.機械発見の本質が論駁推論であり,論駁推論可能な仮説空間は機械発見が可能であることがわかっている.論駁推論アルゴリズムは,特別な帰納推論アルゴリズムであり,次のように動作する.アルゴリズムにデータを与えたとき,データを説明する仮説が仮説空間にあるときには正しい仮説を同定し,そうでないときには,データを説明できる仮説が仮説空間にないことを知らせて停止し,仮説空間全体を棄却する.最近,言語を対象として機械発見の計算論的学習理論が創始され,機械発見の理論的基礎が確立された.本研究では帰納的関数の論駁推論可能性を調べて,機械発見の理論的基礎を与えた.機械発見の現実的理論を展開するため,帰納的関数を計算する具体的なプログラミング系の論駁推論可能性を調べた.ループ関数と単純関数のプログラムを具体的プログラミング系として,このプログラミング系が計算する関数のクラスの論駁推論可能性を調べた.ループ命令の入れ子の深さがnであるループプログラムで計算できる関数全体のクラスをF Loop(n)で表すと,F Loop(0)は論駁推論可能であるが,F Loop(n)(n≧1)は論駁推論不可能であることを証明した.論駁推論不可能な関数のクラスは,論駁推論可能な部分クラスの無限列で近似できれば,実質的に機械発見が可能となる.そこで,単純関数を計算する命令を用いて,F Loop(1)を近似する論駁推論可能な部分クラスから成る無限列を構成した.

This topic is to discover the scientific principles and to obtain the second fruits of mechanical learning. Mechanical learning and human learning function The laws of science are revealed in the laws of science, and the laws of science are revealed in the laws of science. The essence of mechanical development is discussed and reasoned, and reasoned and reasoned may be discussed and reasoned. Debate inference is not correct, especially inferences are not correct, secondary actions are not correct. The space is not available. The space is not available. Recently, the computational theory of learning about speech phenomena and mechanical phenomena has been established. This paper discusses the relationship between the theory of mechanical discovery and the possibility of deduction. The theory of mechanical development is developed, and the relationship between them is calculated. The specific theory of mechanical development is discussed and the possibility of inference is adjusted. The relationship between the pure relationship and the pure relationship is discussed in detail. F Loop(n),F Loop(0), F Loop(n),F Loop(1),F Loop(n), F Loop(n Argument that inference is impossible, argument that inference may be partial, argument that inference may be partial. F Loop(1) is an approximation of F Loop(1), which is an approximation of F Loop(1).

项目成果

Tetsuhiro Miyahara: "Refutable Inference of Functions Computed by Loop Programs" RIFIS-TR-CS-112,Res.Inst.Fund.Inf.Sci.,Kyushu Univ.1-11 (1995)

Tetsuhiro Miyahara：“循环程序计算的函数的可反驳推理”RIFIS-TR-CS-112，Res.Inst.Fund.Inf.Sci.，九州大学1-11 (1995)