摘要
基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操作结果一致。
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.
出处
《航空学报》
EI
CAS
CSCD
北大核心
1999年第2期118-121,共4页
Acta Aeronautica et Astronautica Sinica
基金
航空科学基金
