Document Type
Article
Publication Date
1-1-2003
Abstract
A notion of an image structure associated with the canonical epistemic state is introduced. Based on it, we get a representation result for recovering contraction inference relations satisfying the condition weak conjunctive inclusion (wci) in terms of F-standard epistemic AGM states. In effect, this result establishes a representation theorem for belief contraction functions satisfying AGM postulates (k-1) - (k-7), and Rott's (wci) and (k-8c), and hence generalizes Rott's corresponding result in the finite framework. © 2002 Elsevier Science B.V. All rights reserved.
Publication Source (Journal or Book title)
Theoretical Computer Science
First Page
545
Last Page
564
Recommended Citation
Zhu, Z., Li, B., Xiao, X., Chen, S., & Zhu, W. (2003). A representation theorem for recovering contraction relations satisfying wci. Theoretical Computer Science, 290 (1), 545-564. https://doi.org/10.1016/S0304-3975(02)00035-X