MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Open Logic Based on Total-Ordered Partition Model

Download:
Download as a PDF | Download as a PS
by Zhang Dongmo, Li Wei
http://www.cse.unsw.edu.au/~dongmo/kfeng.ps
Add To MetaCart

Abstract:

Abstract 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 redefining the reconstruction operation. Based on the resulting definition, 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.

Citations

57 Revision sequences and nested conditionals – Boutilier - 1993
46 Knowledge in Flux: Modeling the Dynamics of Epistemic States – G��rdenfors - 1988
42 Iterated theory base change: A computational model – Williams - 1995
35 Syntax based approaches to belief revision – Nebel - 1992
7 On the logic of theory change: Partial meet contraction and revision function – Alchouron, Makinson - 1985
4 Belief revision by sets of sentences – Dongmo - 1996
1 An open logic system, Science in China, Series A, 10(1992), 1103-1114 (in Chinese). 8E is a nice-ordered partition of F if E is a total-ordered partition of F and satisfies: If A, . .. ,An - B, sup{r(A ), . .. ,r(An) } _ As a subproject of the NSFC, we ar – Wei
1 A logical framework for knowledge base maintenance – Wet - 1995
1 Wujia et al., Representation theorems for multiple belief changes – Dongmo, Shifu, et al.
1 Wujiaet al., Nonmonotonic reasoning and multiple belief revision – Dongmo, Shifu, et al.
1 Belief revision: an introduction – G&trdenfors - 1992
1 A general framework for belief revision, in – Dongmo - 1995
1 A logical framework for evolution of specification – Wet - 1994
View or Download | Add to My Collection | Correct Errors