研究机器学习算法发现科学规律-猫眼课题宝

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

批准号：

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

英文摘要

期刊论文(6)

专著(0)

科研奖励(0)

会议论文

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

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

DOI： --

发表时间：

期刊：

影响因子： --

作者：