导航

ACTA AERONAUTICAET ASTRONAUTICA SINICA ›› 1999, Vol. 20 ›› Issue (2): 118-121.

Previous Articles     Next Articles

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

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

CLC Number: