仮説論理プログラミングを用いたソフトウェア発展モデルの研究

基于假设逻辑编程的软件开发模型研究

• 批准号: 10139201
• 负责人: 佐藤 健
• 金额: $ 1.09万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139201/
• 关键词: 極小変更; ソフトウェア発展; 仮説論理プログラミング

我々は,論理プログラムにおけるソフトウェア発展モデルを研究しており,平成9年度においては,以前,提案した極小変更の定式化を一貫性制約を含む論理プログラムに適用した.平成9年度の研究により,論理プログラミングの変更では,ルール自体の成立/不成立の変更が極小になると考えることが自然であることが分かった.この結果,論理プログラミングの更新は,元のプログラムのルールをデフォルトルール,一貫性制約を公理と考え,追加されるルールを追加公理と考えたときの式極小限定(Formula Circumscription)に対応することが分かった.さらに論理プログラムの一般安定モデルに基づいた命題レベルの極小更新仕様計算を提案した.以上の背景を踏まえ,今年度の目的を,以下の2点に設定した.・平成9年度の結果を拡張し,一階述語レベルの極小更新仕様計算の理論的基礎を与え,仮説論理プログラムへの変更を用いることによって実装する.・演繹データベースの更新などに応用して妥当性を検証する.平成10年度の成果は以下である.・関数記号なしの一階述語レベルの極小更新仕様計算に関して一般化安定モデルと極小更新仕様の関係を明らかにし,さらにその手続きが以前提案した一般化安定モデルに対するトップダウンの証明手続きの援用によって実装できることを明らかにした.・ソフトウェア工学でのBorgidaの極小更新仕様およびBalzerのPollution Markerの実装を上記の方法で行い,妥当性を検証した.

In the past, we proposed to minimize the change of formalization and consistency of control, including the application of logic. Heisei 9 years of research, logic, change, self-establishment/non-establishment, change, extremely small, natural, natural. As a result, the logic is updated, the element is updated, the consistency constraint axioms are examined, and the additional axioms are examined. The general stability of the logic switch is discussed in detail below. The above background information, this year's goal, the following 2 points set. The results of Heisei 9 are summarized as follows: The theoretical basis of the first-order description of the minimum renewal calculation is discussed, and the logic of the transformation is discussed. Deduction of data updates, applications, and appropriateness of the data. Heisei 10 year results.·The relationship between generalized stability and minimal update is clearly defined by the number notation and the first-order statement. The relationship between generalized stability and minimal update is clearly defined by the number notation and the previous proposal. Borgida's minimum update specification and Balzer's Pollution Marker's implementation are described in the method described above, and the appropriateness is verified.