Epistemic-Entrenchment Characterization of Parikh's Axiom
Abstract
In this article, we provide the epistemic-entrenchment characterization of the weak version of Parikh’s relevance-sensitive axiom for belief revision — known as axiom (P) — for the general case of incomplete theories. Loosely speaking, axiom (P) states that, if a belief set K can be divided into two disjoint compartments, and the new information φ relates only to the first compartment, then the second compartment should not be affected by the revision of K by φ. The above-mentioned characterization, essentially, constitutes additional constraints on epistemic-entrenchment preorders, that induce AGM revision functions, satisfying the weak version of Parikh’s axiom (P).
Cite
Text
Aravanis et al. "Epistemic-Entrenchment Characterization of Parikh's Axiom." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/107Markdown
[Aravanis et al. "Epistemic-Entrenchment Characterization of Parikh's Axiom." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/aravanis2017ijcai-epistemic/) doi:10.24963/IJCAI.2017/107BibTeX
@inproceedings{aravanis2017ijcai-epistemic,
title = {{Epistemic-Entrenchment Characterization of Parikh's Axiom}},
author = {Aravanis, Theofanis I. and Peppas, Pavlos and Williams, Mary-Anne},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {772-778},
doi = {10.24963/IJCAI.2017/107},
url = {https://mlanthology.org/ijcai/2017/aravanis2017ijcai-epistemic/}
}