航空学报 > 1999, Vol. 20 Issue (2): 118-121

信念修正与开放逻辑之间的关系

张东摩1,2, 顾红芳1, 陈世福2   

  1. 1. 南京航空航天大学计算机科学研究所, 南京, 210016;2. 南京大学软件新技术国家重点实验室, 南京, 210093
  • 收稿日期:1998-05-20 修回日期:1998-09-20 出版日期:1999-04-25 发布日期:1999-04-25

RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC

Zhang Dongmo1,2, Gu Hongfang1, Chen Shifu2   

  1. 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
  • Received:1998-05-20 Revised:1998-09-20 Online:1999-04-25 Published:1999-04-25

摘要:

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义,分析了三者之间的内在联系及本质差别,证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下,3种运算的操作结果一致。

关键词: 信念修正, 信念基修正, 开放逻辑, 重构

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.

Key words: belief revision, belief base revision, open logic, reconst ruct ion

中图分类号: