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

RELATIONSHIPS BETWEEN BELIEF REVISION AND OPEN LOGIC

作　　者：张东摩[1,2] 顾红芳[1,2] 陈世福 

机构地区：[1]南京航空航天大学计算机科学研究所 [2]南京大学软件新技术国家重点实验室

出　　处：《航空学报》1999年第2期118-121,共4页Acta Aeronautica et Astronautica Sinica

基　　金：航空科学基金

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

关 键 词：信念修正 信念基修正 开放逻辑 重构 人工智能 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]