Conditional Independence for Iterated Belief Revision

Conditional Independence for Iterated Belief Revision

Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Main Track. Pages 2690-2696. https://doi.org/10.24963/ijcai.2022/373

Conditional independence is a crucial concept for efficient probabilistic reasoning. For symbolic and qualitative reasoning, however, it has played only a minor role. Recently, Lynn, Delgrande, and Peppas have considered conditional independence in terms of syntactic multivalued dependencies. In this paper, we define conditional independence as a semantic property of epistemic states and present axioms for iterated belief revision operators to obey conditional independence in general. We show that c-revisions for ranking functions satisfy these axioms, and exploit the relevance of these results for iterated belief revision in general.
Keywords:
Knowledge Representation and Reasoning: Belief Change
Knowledge Representation and Reasoning: Non-monotonic Reasoning
Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning
Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief