利用创始人学习开发软件开发流程统一配置技术-猫眼课题宝

利用创始人学习开发软件开发流程统一配置技术

批准号：

14019001

负责人：

山本章博

金额：

$1.47万

依托单位：

Hokkaido University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Scientific Research on Priority Areas

财政年份：

2002

资助国家：

日本

项目状态：

已结题

起止时间：

2002 至 --

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14019001/

关键词：

始祖学習極限同定帰納推論帰納論理反単一化基底定理

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

本研究では正データからの極限同定による帰納推論を論理の視点から再検討し,始祖学習と名づけた上で,ソフトウェア発展の理論的基盤とすることにある.本年度は,第一に始祖学習に関して最近の帰納論理の研究成果をもとに極限数学論視点から詳細な分析を行い,本研究の基本的な明確にした.その結果,演繹的推論と帰納推論の接続に関して簡明な視点が得られた.まず,山本は最も簡単な論理プログラムである原子論式に対して,最小汎化の意味付けを行った.最小汎化は反単一化アルゴリズムで計算できることが知られていたが,このアルゴリズムを分析し,それが演繹推論によって定義される束構造をした仮説空間において,最小上界を仮説として与えるアルゴリズムであることを明らかにした.このことから,反単一化アルゴリズムは演繹的推論による仮説構成を極限同定で保証した帰納推論ということになる.そこで,束構造をした仮説空間において,最小上界を仮説として与えるアルゴリズムが極限同定になるような条件を求めた.また,林はこれまでの研究においてHilbertの基底定理の証明の中に極限同定による帰納推論が用いられていることを明らかにしていた.このことは代数学の中で演繹的に証明されている定理の中に,暗に帰納推論が用られていることを示している.実際,山本と林はイデアルが有限生成であることとイデアルの属が正データから極限同定可能であることを示した.この議論を反単一化アルゴリズムに適用することで,反単一化アルゴリズムが原子論理式の空間における有限基底を保証するアルゴリズムであることを示した.さらに,論理プログラムを帰納推論として実行する処理系としてオーストラリア国ニューサウスウェールズ大学で開発されているRichPrologを用いて,束構造の最小上界を仮説として与えるアルゴリズムを実際に記述した.

期刊论文(4)

专著(0)

科研奖励(0)

会议论文

Susumu Hayashi: "Mathematics Based on Learning"Proceedings of the 13th International Conference on Algorithmic Learning Theory (LNAI). 2533. 7-21 (2002)

Susumu Hayashi：“基于学习的数学”第 13 届算法学习理论国际会议（LNAI）论文集。

DOI： --

发表时间：

期刊：

影响因子： --

作者：

[]