Back to Search Start Over

A representation theorem for recovering contraction relations satisfying wci

Authors :
Bin Li
Wujia Zhu
Zhaohui Zhu
Shifu Chen
Xi'an Xiao
Source :
Theoretical Computer Science. 290:545-564
Publication Year :
2003
Publisher :
Elsevier BV, 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.

Details

ISSN :
03043975
Volume :
290
Database :
OpenAIRE
Journal :
Theoretical Computer Science
Accession number :
edsair.doi.dedup.....5df05a2b726e9b4e3919df7e80a94709