| 信念修正与开放逻辑之间的关系 |
| |
| 引用本文： | 张东摩,顾红芳,陈世福. 信念修正与开放逻辑之间的关系[J]. 航空学报, 1999, 20(2): 118-121 |
| |
| 作者姓名： | 张东摩 顾红芳 陈世福 |
| |
| 作者单位： | 1. 南京航空航天大学计算机科学研究所, 南京, 210016;2. 南京大学软件新技术国家重点实验室, 南京, 210093 |
| |
| 摘 要： | 基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，3种运算的操作结果一致。
|
| 关 键 词： | 信念修正 信念基修正 开放逻辑 重构 |
| 收稿时间： | 1998-05-20 |
| 修稿时间： | 1998-09-20 |
RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC |
| |
| Zhang Dongmo,,,Gu Hongfang ,Chen Shifu. RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC[J]. Acta Aeronautica et Astronautica Sinica, 1999, 20(2): 118-121 |
| |
| Authors: | Zhang Dongmo Gu Hongfang Chen Shifu |
| |
| Affiliation: | 1. Institute of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, 210016;2. State Key Lab.for Novel Software Technology, Nanjing University, Nanjing, 210093 |
| |
| Abstract: | A uniform treatment for the operations of belief revisions and belief base revisions in Belief Revision and the operation of reconstructions in Open Logic is given by using the total partition structure. The connections and differences among the three operations are analyzed. It is proved that if the original knowledge base is a logically closed set and the closeness of their operating results is ignored, the three operations coincide. |
| |
| Keywords: | belief revision belief base revision open logic reconstruction |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《航空学报》浏览原始摘要信息 |
|
点击此处可从《航空学报》下载全文 |
|
