权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

極小変更の定式化に基づいた論理プログラミングにおけるソフトウェア発展モデルの研究

基于最小变化公式的逻辑编程软件演化模型研究

基本信息

批准号：
09245201
负责人：
佐藤健
金额：
$ 1.28万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1997
资助国家：
日本
起止时间：
1997 至无数据
项目状态：
已结题

项目摘要

我々は,以前,極小変化に基づく知識の更新について極小限定(Circumscription)に基づいて定式化する方法を検討し,その方法による更新の性質について研究を行った.その方法は,新しい情報が追加されたときに,知識の変化がその情報に矛盾している部分のみに限定されるというものである.上記更新の定式化は,プログラム更新の定式化とみなすこともできる.なぜなら,知識を表現する論理式がホーン節の連言であれば,それは論理プログラムとして見なすことができるため上記知識の更新は,論理プログラムの更新と考えられるからである.しかしながら,この定式化は第二階述語論理で記述されているため一般的には,計算可能ではなかった.以上の背景を踏まえ,本研究の目的を,以下の2点に設定した.1.上で述べた極小変更に基づく知識の更新の定式化を用いて論理プログラミングの発展モデルを構築する.2.本定式化において計算可能であるクラスを同定し,実現可能な論理プログラム発展機構を明らかにする.本研究の成果は以下である.1.論理プログラミングの適切な更新理論として,論理的モデルレベルの極小変更ではなく,論理式の成否レベルの極小変更を考案した.2.論理プログラミングにおいては,上記,極小変更は,変更可能なルールをデフォルトとし,変更不可能なルールを公理としたときの極小限定に対応することを明らかにした.3.本変更の計算を仮説論理プログラミングに対応させ,どのルールを消去すべきかを仮説として用いることで,極小変更すべきルールの同定を可能にした.この実現により,計算可能なクラスの同定に関する知見を得た.

In the past, we have studied the updating of the knowledge of minimization, the updating of the properties of minimization, the updating of the methods of minimization, and the updating of the methods of minimization. The new information is added, the knowledge is transformed, the information is contradicted, the part is limited, and the new information is added. The above note updates the formalization of the file, and updates the formalization of the file. The logical expression of knowledge is to update the knowledge, and the logical expression is to update the knowledge. The second order predicate logic is described in general, and the calculation is possible. The purpose of this study is to set the following two points: 1. To formalize the updating of the basic knowledge of the minimum change described above, and to construct the development framework of the logic process. 2. To establish the development framework of the logic process, and to realize the development framework of the logic process. The results of this study are as follows: 1. The theory of logical transformation is updated appropriately, and the minimal transformation of logical transformation is examined. 2. The logical transformation is updated appropriately, and the minimal transformation of logical transformation is examined. 3. The calculation of this change is to say that the logic of change is to say The calculation of the probability of occurrence of the event is based on the knowledge of the event.