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

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

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

本課題では,科学的法則を発見する機械学習アルゴリズムについて研究を行ない,次の成果を得た.機械学習とは人間の持つ学習機能をコンピュータ上で実現することである.実験,観測データからコンピュータに科学的法則を発見させることを,事実からの機械発見という.機械発見の本質が論駁推論であり,論駁推論可能な仮説空間は機械発見が可能であることがわかっている.帰納的関数の論駁推論可能性を調べて,機械発見の理論的基礎を与えた.機械発見の現実的理論を展開するため,帰納的関数を計算する具体的なプログラミング系の論駁推論可能性を調べた.ループ関数と単純関数のプログラムを具体的プログラミング系として,このプログラミング系が計算する関数のクラスの論駁推論可能性を調べた.ループ命令の入れ子の深さがnであるループプログラムで計算できる関数全体のクラスをFLoop(n)で表すと,FLoop(0)は論駁推論可能であるが,FLoop(n)(n【greater than or equal】1)は論駁推論不可能であることを証明した.論駁推論不可能な関数のクラスは,論駁推論可能な部分のクラスの無限列で近似できれば,実質的に機械発見が可能となる.そこで,単純関数を計算する命令を用いて,FLoop(1)を近似する論駁推論可能な部分クラスから成るグラフ理論上の問題を対象とした機械発見を実現するため,例としてグラフ受けとり,それを生成できるグラフ生成システムを論駁推論するアルゴリズムについて考察した.仮説空間として採用したグラフ生成システムの計算能力を調べて,既存のグラフ生成系である頂点ラベル制御グラフ文法を模倣できることを示した.

In this paper, the principles of science are discussed, and the results of this study have been successful. Mechanical engineering and human support can be found in the training and operation of mechanical engineering. The law of science is known as the law of science, and the rules of science and machinery. The mechanical equipment may be discussed in this paper, and the space mechanical equipment may be discussed in this paper. In terms of the number of people, we deduce the possibility of discussion, and we can see the basis and foundation of theory. In the mechanical theory of the machine, the theory of the machine is developed, and the number of the machine is calculated. The specific information is related to the possibility of discussion. I don't know how to count the number of people. I don't know how to calculate the number of people in the system. The command to calculate the number of people in the FLoop (n) table, FLoop (0), FLoop (n) (n [greater than or equal] 1) and FLoop (n) (n) is not possible. It is not possible to calculate the number of times in which it is possible to do a lot of work, and it is possible that part of the discussion may have an unlimited range of information, and that the machinery of the machine may be affected. In this paper, we use the command to calculate the number of computers, and FLoop (1) approximate to calculate the number of problems in the theory. In the theory, the problem is similar to that of the machine. The existing software generation system is used to generate the computer computing ability of the existing computer system, and the grammar model is used to control the grammar model.

项目成果

内田,宮原,中村: "Formal Graph Systems and Node-Label Controlled Graph Gramars" 1997電子情報通信学会総合大会講演論文集. (1997)

Uchida、Miyahara、Nakamura：“形式图系统和节点标签控制图语法”1997 年 IEICE 大会论文集 (1997)。

Tetsuhiro Miyahara: "Refutable Inference of Functions Computed by Loop Programs" Porc.6th Seminar on Information Modelling and Know ledge Bases. (1996)

Tetsuhiro Miyahara：“循环程序计算的函数的可反驳的推理”Porc.6 信息建模和知识库研讨会。

内田,宮原,中村: "フォーマルグラフシステムと頂点ラベル制御グラフ文法" 41回システム制御情報学会講演論文集. (1997)

Uchida、Miyahara、Nakamura：“形式图系统和顶点标签控制图语法”第 41 届系统、控制和信息工程师学会会议记录（1997 年）。