Logic Based on Total - Ordered Partition Model 1

This paper deals with the problem of uniqueness of reconstruction in Open Logic by introducing the concept of total-ordered partitions, an ordering structure modeling belief degrees of knowledge, and rede ning the reconstruction operation. Based on the resulting de nition, a nontrivial condition for the convergency of cognitive processes is given. It is shown that if new knowledge is not always accepted with an extremely skeptical attitude and the changes of belief degrees follow the criterion of minimal changes, the cognitive process will converge. The results of this paper provide an approach to unifying two kinds of theories for knowledge base maintenance: belief revision and open logic.