ソフトウェア構成法における類推と帰納推論

软件构建方法中的类比与归纳推理

• 批准号: 02249111
• 负责人: 有川 節夫
• 金额: $ 1.41万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1990
• 资助国家: 日本
• 起止时间: 1990 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-02249111/
• 关键词: ソフトウェア構成法; 類推; 帰納推論; 抽象化; 逆導出; 計算学習理論; 教示の理論; 論理プログラミング

高機能高品質ソフトウェアの構成法を類推と帰納推論の観点からモデル化して,その本質に迫ることが本研究の目標である.この目標に沿って本年度は,論理型言語PrologとEFSを対象にして以下の要領で研究を行い多くの基礎的な成果を得た.ソフトウェア開発者は,問題が与えられたとき通常次の3つの手順で考える.(1)過去に同じ問題を扱ったことはないか.(2)過去に類似した問題を扱ったことはないか.(3)全く新しい問題であるか.本研究で対象にするのは(2)と(3)の場合である.(2)の場合には類推が使われることになる.具体的には,以下のようなプロセスが使われる.すなわち,開発しようとしているプログラム“A"に類似したプログラムBを選び出し,Bとゴ-ルの例glとを対象にして類推を行い,そこで使われたプログラム節C1を取り込む.こうしたプロセスを何回か繰り返して,ゴ-ルの例gl,…,gnに対して節Cl,…,Cnを取り込んで,“A"の骨格を形成する.この方式の理論を構築した.具体的には,まず類推のための抽象化の研究を行い,類推のソ-スを検索するために,プログラムを抽象化によって索引付け,それを用いて可能性のない対象を捨てる方式を開発した.また,学習の主要なパラダイムとして注目を集めているEBL(説明に基づく学習)の類推による拡張を行った.(3)の場合には,帰納推論が活用され得る.本年度は,EFS(Elementary Formal System)という文字列を直接扱える一種の論理型言語を用いて,帰納推論の統一的枠組みを与え,このEFSの有効性を明らかにした.また,正デ-タからの帰納推論の能力が実は相当に大きいことやPAC学習可能な言語族等をEFSの枠組みで明確にした.さらに,Muggletonによる逆導出法についても基礎研究を行い,初年度の研究は,ほぼ計画通りの成果が得られた.

The purpose of this study is to analyze the structure of high-performance and high-quality software. This year, the logical speech Prolog and EFS are aimed at achieving the following basic results. The problem is usually the third time the problem is solved. (1)The past is the same problem. (2)Similar problems in the past. (3)All new questions are asked. In this paper, we study the relationship between (2) and (3). (2)The situation is similar. Specific, the following are the most common. A. Select B. Select B. Select C. Select B. Select B. Select C. Select D. Select D "A" is a form of "A"."A" is a form of "A"." The theory of this method is constructed. In the study of abstraction of concrete analogy, the method of abstraction of analogy is developed. EBL(Description Base Learning) is an analogy between EBL(Description Base Learning) and EBL. (3)In this case, the inference is used. This year,EFS(Elementary Formal System) and Chinese text series are directly used to express a logical language, and the unified set of reasoning is included. In addition, the ability to analyze and infer is quite large, such as PAC learning possibility, speech family, etc., and EFS group is clear. In addition,Muggleton's inverse derivation method was used to conduct basic research, and the results of the initial year's research were obtained.

项目成果

A.Shinohara and S.Miyano: "Teachability in computational Learning" Proc.ALT'90,Ohmsha and Springer Verlag. 247-255 (1990)

A.Shinohara 和 S.Miyano：“计算学习中的可教性”Proc.ALT90，Ohmsha 和 Springer Verlag。

C.Zeng and S.Arikawa: "Sufficiency of Operators Identification and Interーconstruction in Inverting Resolution" Bull.Informatics and Cybernetics. 24. (1991)

C.Zeng 和 S.Arikawa：“逆解中算子识别和互构的充分性”Bull.信息学和控制论 24。（1991）

S.Arikawa,T.Shinohara and A.Yamamoto: "Inductive Inference of Formal Languages by Elementary Formal Systems" Proc.Information Modelling and Knowledge Bases,IOS. 148-160 (1990)

S.Arikawa、T.Shinohara 和 A.Yamamoto：“通过基本形式系统对形式语言进行归纳推理”Proc.信息建模和知识库，IOS。

T.Shinohara: "Inductive Inference from Positive Data Is Powerful" Proc.Colt'90,MorganーKaufmann. 97-110 (1990)

T.Shinohara：“来自正面数据的归纳推理非常强大”Proc.Colt90，Morgan-Kaufmann（摩根考夫曼）。

佐伯 信夫,有川 節夫: "EFSの多項式時間パ-サについて" 人工知能学会研究会資料SIGーFAI 9001ー6. 55-64 (1990)

Nobuo Saeki、Setsuo Arikawa：“关于 EFS 多项式时间解析器”人工智能研究组材料协会 SIG-FAI 9001-6 (1990)。