2026-07-17T20:31:13Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:331 2024-03-06T11:06:28Z ddc:004 open_access

Iterated Belief Change and the Levi Identity Nayak, Abhaya Goebel, Randy Orgun, Mehmet Pham, Tam Iterated belief change iterated belief contraction Levi Identity Most works on iterated belief change have focussed on iterated belief revision, namely, on how to compute (K star x) star y. However, historically, belief revision has been defined in terms of belief expansion and belief contraction that have been viewed as primary operations. Accordingly, what we should be looking at are constructions like: (K+x)+y, (K-x)+y, (K-x)+y and (K-x)-y. The first two constructions are relatively innocuous. The last two are, however, more problematic. We look at these sequential operations. In the process, we use the Levi Identity as the guiding principle behind state changes (as opposed to belief set changes). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Abhaya Nayak and Randy Goebel and Mehmet Orgun and Tam Pham 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 5321, Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05321.11 urn:nbn:de:0030-drops-3317 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05321.11 eng https://creativecommons.org/licenses/by/4.0/legalcode