ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究

改进软件开发的等价转换规则自动生成研究

• 批准号: 10139202
• 负责人: 赤間 清
• 金额: $ 1.15万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139202/
• 关键词: ソフトウェア発展; 仕様; 等価変換パラダイム; メタルール; ルール生成

1 特定領域研究本年度の研究の目的は,仕様から等価変換ルールを生成する技術を提案することである.本研究の成果は次のとおりである。● 仕様(確定節集合)とメタアトム(問い合わせまたはサブゴールに対応する)から等価変換ルールを生成する方法の提案。ルールを生成するためにメタ記述を用いる。メタ記述は具体化によって得られる(無限の)記述を代表している。メタ記述を等価変換して、メタ記述の対を得、それらから等価変換ルールを作る。● 生成ルールの正当性を保証する理論の構築。正しいメタルールの繰り返し適用によって等価な2つのメタ記述が得られ、それらから等価変換ルールが得られることを証明した。● 仕様(確定節集合)と問い合わせから,それに答えるために必要なプログラムを自動生成するシステムの試作。このシステムは現在append,initial,max,common_subseqなどを含む述語に対するプログラムを自動的に生成できる.ただしシステムの実装はまだ初歩的で,多大なメモリ空間を消費するため小さな問題しか解けない.

1 Specific field research The purpose of this year's research is to create technical proposals for the development of new technologies. The results of this research are reversed.● A proposal for a method of generating an equal number of items (identifying the set of items) and items (identifying the set of items). The name of the person who created it The description is concrete, and the description is infinite. The description of the change in the name of the name of the change in the name of the name of the change in the name of the change in the name of the name of the change in name of the change in name of the name of● Theoretical construction to ensure the legitimacy of production. 2. The description of the problem is correct, and the problem is proved.● Try to automatically generate a list of the required items in the list (determine the section set). This list is now append,initial,max,common_subseq, and contains a list of topics that are automatically generated. The problem of how much space to consume is solved in the initial stage of installation.

项目成果

赤間 清: "論理的問題の等価変換による解法(1)その理論的基礎" 人工知能学会誌. 13.6. 929-935 (1998)

Kiyoshi Akama：“通过等价变换解决逻辑问题（1）其理论基础”日本人工智能学会杂志13.6（1998）。

赤間 清: "宣言的プログラムの等価変換による問題解決" 人工知能学会誌. 13.6. 944-952 (1998)

Kiyoshi Akama：“通过声明式程序的等效转换解决问题”，人工智能学会杂志 13.6（1998）。

赤間 清: "特殊化システムの拡張による知識表現系の変更" 人工知能学会誌. 13.1. 131-138 (1998)

Kiyoshi Akama：“通过扩展专业化系统来改变知识表示系统”《人工智能学会杂志》131-138（1998）。

小池 英勝: "仕様からの等価変換ルールの生成法" 電子情報通信学会技術研究報告KBSE. 98-8. 33-40 (1998)

Hidekatsu Koike：“从规范生成等效转换规则的方法”IEICE 技术研究报告 KBSE 98-40 (1998)。

赤間 清: "論理的問題の等価変換による解法(2)SLD導出の限界" 人工知能学会誌. 13.6. 936-943 (1998)

Kiyoshi Akama：“通过等效变换解决逻辑问题（2）SLD 推导的限制”人工智能学会杂志 13.6（1998）。