宣言的プログラミングにおけるソフトウェア発展の研究

声明式编程中的软件开发研究

• 批准号: 15017283
• 负责人: 佐藤 健
• 金额: $ 3.07万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15017283/
• 关键词: ソフトウェア発展; 宣言的プログラミング; 極小変更; 極大無矛盾集合; 極小被覆集合; 極大正集合; 極小負集合

現在のように、ソフトウェアのバージョンアップが頻繁に生じる状況では、ソフトウェア変更管理(ソフトウェア発展)の技術は大変重要なものである。本研究では、宣言的プログラミングにおけるソフトウェア発展を考える。これは、論理型プログラミングや関数型プログラミングなどの宣言的なプログラミングが数学的な体系に基づいているため、ソフトウェア発展技術の構築のための理論が構築しやすいと考えたためである。本年度は、論理型言語での極小変更仕様の効率的な列挙アルゴリズムの提案を行い、その質問複雑度および空間複雑度に関して理論的考察を行った。具体的には、極大無矛盾集合の列挙を単調性を持つ集合の性質に関する極大集合の列挙に帰着することで、そのような列挙問題に関するアルゴリズムを用いるようにした。しかし、その問題に対して以前提案されていた手法\cite{Gunopulos97}では列挙に関して冗長な計算を含んでいた。この問題を解決するため、本研究では、極小被覆集合列挙の新しいアルゴリズムを用いた新しい手法を提案した。本研究の成果は以下である。1.極小更新仕様の計算と単調性を持つ集合の性質における極大正集合の計算との関係を明らかにした。2.冗長性のない極小被覆集合アルゴリズムを用いた極大正集合を計算するアルゴリズムを提案した。3.本アルゴリズムを理論的に解析し、極大正集合の集合族をbdpp,極小負集合の集合族をbdmpとしたときに、質問数がたかだか|bdmp|+|bdpp|×|Π|であり、空間複雑度は、たかだかbdpp全体の大きさであることを示した。

Now, the technology of software development is very important because of the frequent occurrence of software failure. This study is aimed at exploring the development of software in the future. This paper discusses the theoretical construction of the mathematical system based on the logical model and the mathematical model. This year, we conducted a survey on the theory of logical speech and spatial complexity. The property of a set is related to the sequence of a maximal set without contradiction. The problem is that the previous proposal contained a lengthy calculation. To solve this problem, this research proposes new methods for using very small covered set arrays. The results of this study are as follows. 1. The calculation and uniformity of minimal update function are different from those of maximal positive function function. 2. The minimum coverage set of verbosity is calculated using the maximum coverage set. 3. In this paper, the number of problems in the set theory is analyzed, the set family of maximal positive sets is bdpp, and the set family of minimal negative sets is bdmp.| bdmp| +| bdpp| ×| Π|であり、空间复雑度は、たかだかbdpp全体の大きさであることを示した。

项目成果

Satoh, Ken, Uno, T.: "Enumerating Maximal Frequent Sets using Irredundant Dualization"Gunter Grieser, Akihiro Yarnamoto (eds.), Discovery Science 2003, LNAI. 2843. 256-268 (2003)

Satoh, Ken, Uno, T.：“使用无冗余对偶化枚举最大频繁集”Gunter Grieser、Akihiro Yarnamoto（编辑），Discovery Science 2003，LNAI。

兼岩 憲, 佐藤 健: "DL : Descrition Logics"人工知能学会誌. Vol.18, No.1. 73-82 (2003)

Ken Kaneiwa、Ken Sato：“DL：描述逻辑”人工智能学会杂志，第 18 卷，第 73-82 期（2003 年）。