Elementary belief revision operators

Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 2022. Elementary belief revision operators. Journal of Philosophical Logic 10.1007/s10992-022-09672-6

Preview

PDF - Published Version Available under License Creative Commons Attribution. Download (2MB) | Preview

Abstract

Discussions of the issue of iterated belief revision are commonly accompanied by the presentation of three “concrete” operators: natural, restrained and lexicographic. This raises a natural question: What is so distinctive about these three particular methods? Indeed, the common axiomatic ground for work on iterated revision, the AGM and Darwiche-Pearl postulates, leaves open a whole range of alternative proposals. In this paper, we show that it is satisfaction of an additional principle of “Independence of Irrelevant Alternatives”, inspired by the literature on Social Choice, that unites and sets apart our three “elementary” revision operators. A parallel treatment of iterated belief contraction is also given, yielding a family of elementary contraction operators that includes, besides the well-known “conservative” and “moderate” operators, a new contraction operator that is related to restrained revision.

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	B Philosophy. Psychology. Religion > BC Logic Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	Springer Verlag (Germany)
ISSN:	0022-3611
Date of First Compliant Deposit:	14 June 2022
Date of Acceptance:	10 May 2022
Last Modified:	24 May 2023 00:12
URI:	https://orca.cardiff.ac.uk/id/eprint/150484

Actions (repository staff only)

Edit Item