On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators

In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). Palo Alto, CA, USA: pp. 210-219 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general.
Categories
(categorize this paper)
PhilPapers/Archive ID
CHAOST-2
Revision history
Archival date: 2018-11-06
View upload history
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Alchourrón, Carlos E.; Gärdenfors, Peter & Makinson, David
On the Logic of Iterated Belief Revision.Darwiche, Adnan & Pearl, Judea

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-11-06

Total views
26 ( #37,018 of 40,658 )

Recent downloads (6 months)
6 ( #38,400 of 40,658 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.