An investigation of parametrized difference revision operators

Published: 01 Jan 2021, Last Modified: 08 Apr 2025Ann. Math. Artif. Intell. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: In this article, we provide the epistemic-entrenchment and partial-meet characterizations of a new, important class of concrete revision operators (all of which satisfy the AGM postulates for revision), called Parametrized Difference revision operators (PD operators, for short). PD operators are natural generalizations of Dalal’s revision operator, with a much greater range of applicability, hence, the epistemic-entrenchment and partial-meet characterizations of the latter are also provided, as a by-product. Lastly, we prove that PD operators satisfy the strong version of Parikh’s relevance-sensitive axiom for belief revision, showing that they are fully compatible with the notion of relevance.
Loading