Back to Search
Start Over
A representation theorem for recovering contraction relations satisfying wci
- 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.
- Subjects :
- Image structure
Pure mathematics
General Computer Science
Representation theorem
Knowledge representation and reasoning
Epistemic state
Inference
Theoretical Computer Science
Calculus
Function representation
Belief contraction
Contraction (operator theory)
Contraction inference relation
Computer Science(all)
Mathematics
Subjects
Details
- ISSN :
- 03043975
- Volume :
- 290
- Database :
- OpenAIRE
- Journal :
- Theoretical Computer Science
- Accession number :
- edsair.doi.dedup.....5df05a2b726e9b4e3919df7e80a94709