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

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

• 批准号: 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)を近似する論駁推論可能な部分クラスから成るグラフ理論上の問題を対象とした機械発見を実現するため,例としてグラフ受けとり,それを生成できるグラフ生成システムを論駁推論するアルゴリズムについて考察した.仮説空間として採用したグラフ生成システムの計算能力を調べて,既存のグラフ生成系である頂点ラベル制御グラフ文法を模倣できることを示した.

在这项任务中，我们研究了发现科学定律的机器学习算法，并获得了以下结果。推断，可以发现提出的假设空间可以研究反​​驳的可能性，并给出了机器发现的理论基础。计算诱导函数。反驳的推断，但是浮点（n）（n [大于或相等] 1）证明，如果可以在可以驳斥的类的无限列中近似不可能的功能的类，则不可能使用它。可以发现机器，以实现图理论问题的理论问题，包括不情愿的部分零件类，我们检查了可以将其用于生成的算法假设空间检查图形生成系统的计算能力，表明可以模仿顶点标签控制图，即现有的图形生成系统。

项目成果

内田,宮原,中村: "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 年）。