Strong Syntax Splitting for Iterated Belief Revision
Abstract
AGM theory is the most influential formal account of belief revision. Nevertheless, there are some issues with the original proposal. In particular, Parikh has pointed out that completely irrelevant information may be affected in AGM revision. To remedy this, he proposed an additional axiom (P) aiming to capture (ir)relevance by a notion of syntax splitting. In this paper we generalize syntax splitting from logical sentences to epistemic states, a step which is necessary to cover iterated revision. The generalization is based on the notion of marginalization of epistemic states. Furthermore, we study epistemic syntax splitting in the context of ordinal conditional functions. Our approach substantially generalizes the semantical treatment of (P) in terms of faithful preorders recently presented by Peppas and colleagues.
Cite
Text
Kern-Isberner and Brewka. "Strong Syntax Splitting for Iterated Belief Revision." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/157Markdown
[Kern-Isberner and Brewka. "Strong Syntax Splitting for Iterated Belief Revision." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/kernisberner2017ijcai-strong/) doi:10.24963/IJCAI.2017/157BibTeX
@inproceedings{kernisberner2017ijcai-strong,
title = {{Strong Syntax Splitting for Iterated Belief Revision}},
author = {Kern-Isberner, Gabriele and Brewka, Gerhard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {1131-1137},
doi = {10.24963/IJCAI.2017/157},
url = {https://mlanthology.org/ijcai/2017/kernisberner2017ijcai-strong/}
}