始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

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

• 批准号: 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を用いて,束構造の最小上界を仮説として与えるアルゴリズムを実際に記述した.

This study is based on the theoretical foundation for the development of the theory of ancestor learning. This year is the first time that the research results of limit mathematics theory and detailed analysis are related to the first ancestor learning. The result of deduction, inference and connection of inference are related to the concise viewpoint. The atomic theory is based on the most simple logic, and the minimum generalization is carried out. The minimum generalization is to calculate the minimum upper bound of the bundle structure, to analyze the minimum upper bound of the bundle structure, to deduce the minimum upper bound of the bundle structure, and to analyze the minimum upper bound of the bundle structure. The deduction of the deduction. The minimum upper bound of the bundle structure is the same as the limit. The proof of Hilbert's base theorem is limited to the same value. In algebra, deduction is proved by deduction, and deduction is shown by deduction. In the meantime, Yamamoto Lin's answer to the question is: "Is it possible to generate a finite number of items?" This paper discusses how to apply the theory of atomic logic to the finite base of atomic logic. In this paper, the processing system of logic conversion is described in detail.

项目成果

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）论文集。

Bertram Fronhoefer, Akihiro Yamamoto: "Minimised Residue Hypotheses in Relevant Logic"Proceedings of the 13th International Conference on Algorithmic Learning Theory (LNAI). 2533. 278-292 (2002)

Bertram Fronhoefer、Akihiro Yamamoto：“相关逻辑中的最小化残差假设”第 13 届算法学习理论国际会议（LNAI）会议记录。