{"type":"ScholarlyArticle","title":"Observations on Darwiche and Pearl's Approach for Iterated Belief Revision","authors":[{"name":"Theofanis Aravanis","slug":"theofanis-aravanis","given":"Theofanis","family":"Aravanis","affiliation":"University of Patras , Greece"},{"name":"Pavlos Peppas","slug":"pavlos-peppas","given":"Pavlos","family":"Peppas","affiliation":"University of Patras , Greece; University of Technology Sydney , Australia"},{"name":"Mary-Anne Williams","slug":"mary-anne-williams","given":"Mary-Anne","family":"Williams","affiliation":"University of Technology Sydney , Australia"}],"abstract":"Notwithstanding the extensive work on iterated belief revision, there is, still, no fully satisfactory solution within the classical AGM paradigm. The seminal work of Darwiche and Pearl (DP approach, for short) remains the most dominant, despite its well-documented shortcomings. In this article, we make further observations on the DP approach. Firstly, we prove that the DP postulates are, in a strong sense, inconsistent with Parikh's relevance-sensitive axiom (P), extending previous initial conflicts. Immediate consequences of this result are that an entire class of intuitive revision operators, which includes Dalal's operator, violates the DP postulates, as well as that  the Independence postulate and Spohn's conditionalization are inconsistent with (P). Lastly, we show that the DP postulates allow for more revision polices than the ones that can be captured by identifying belief states with total preorders over possible worlds, a fact implying that a preference ordering (over possible worlds) is an insufficient representation for a belief state.","doi":"10.24963/ijcai.2019/209","url":"https://ijcai.org/proceedings/2019/209","pdf":"https://ijcai.org/proceedings/2019/0209.pdf","markdown":"https://ijcai.org/proceedings/2019/209.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/209","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":209,"pages":{"first":1509,"last":1515},"keywords":["Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief","Knowledge Representation and Reasoning: Belief Change"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510-530, 1985.","title":"On the logic of theory change: Partial meet contraction and revision functions","authors":"Carlos Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Aravanis et al., 2017] Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams. Epistemic-entrenchment char- acterization of Parikh's axiom. In Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, pages 772-778, 2017.","title":"Epistemic-entrenchment characterization of Parikh's axiom","authors":"Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams","year":"2017","venue":"Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017","doi":null,"url":null,"internal_url":"/proceedings/2017/107"},{"position":3,"raw":"[Aravanis et al., 2019] Theofanis Aravanis, Pavlos Pep- pas, and Mary-Anne Williams. An investigation of parametrized difference revision operators. Annals of Mathematics and Artificial Intelligence, 2019.","title":"An investigation of parametrized difference revision operators","authors":"Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams","year":"2019","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Booth and Chandler, 2017] Richard Booth and Jake Chan- dler. The irreducibility of iterated to single revision. Jour- nal of Philosophical Logic, 46:405-418, 2017.","title":"The irreducibility of iterated to single revision","authors":"Richard Booth, Jake Chandler","year":"2017","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Booth and Chandler, 2018] Richard Booth and Jake Chan- dler. On strengthening the logic of iterated belief revision: Proper ordinal interval operators. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018, pages 210-219, 2018.","title":"On strengthening the logic of iterated belief revision: Proper ordinal interval operators","authors":"Richard Booth, Jake Chandler","year":"2018","venue":"Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Borgida, 1985] Alexander Borgida. Language features for flexible handling of exceptions in information systems. ACM Transactions on Database Systems, 10(4):563-603, 1985.","title":"Language features for flexible handling of exceptions in information systems","authors":"Alexander Borgida","year":"1985","venue":"ACM Transactions on Database Systems","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dalal, 1988] Mukesh Dalal. Investigations into theory of knowledge base revision: Preliminary report. In Proceed- ings of the 7th National Conference of the American Asso- ciation for Artificial Intelligence, AAAI 1988, pages 475- 479, 1988.","title":"Investigations into theory of knowledge base revision: Preliminary report","authors":"Mukesh Dalal","year":"1988","venue":"Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, AAAI 1988","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Darwiche and Pearl, 1994] Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. In Pro- ceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge, TARK 1994, pages 5-23, Pa- cific Grove, California, 1994.","title":"On the logic of iterated belief revision","authors":"Pearl ; Darwiche, Adnan Darwiche, Judea Pearl","year":"1994","venue":"Proceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge, TARK 1994","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Morgan Kaufmann. [Darwiche and Pearl, 1997] Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1-29, 1997.","title":"On the logic of iterated belief revision","authors":"Morgan Kaufmann, . [ Darwiche, Pearl, Adnan Darwiche, Judea Pearl","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gärdenfors, 1988] Peter Gärdenfors. Knowledge in Flux - Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, Massachusetts, 1988.","title":"Knowledge in Flux -Modeling the Dynamics of Epistemic States","authors":"Peter Gärdenfors","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Jin and Thielscher, 2007] Yi Jin and Michael Thielscher. It- erated belief revision, revised. Artificial Intelligence, 171:1-18, 2007.","title":"Iterated belief revision, revised","authors":"Yi Jin, Michael Thielscher","year":"2007","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Katsuno and Mendelzon, 1991] Hirofumi Katsuno and Al- berto Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52(3):263- 294, 1991.","title":"Hirofumi Katsuno and Alberto Mendelzon. Propositional knowledge base revision and minimal change","authors":"Mendelzon Katsuno","year":"1991","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Konieczny and Pérez, 2000] Sébastien Konieczny and Ramón Pino Pérez. A framework for iterated revision. Journal of Applied Non-Classical Logics, 10, 2000.","title":"A framework for iterated revision","authors":"Sébastien Konieczny, Ramón Pino, Pérez","year":"2000","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lehmann, 1995] Daniel Lehmann. Belief revision, revised. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 1995, pages 1534-1540, Montreal, Quebec, 1995.","title":"Belief revision, revised","authors":"Daniel Lehmann, Lehmann","year":"1995","venue":"Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 1995","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Parikh, 1999] Rohit Parikh. Beliefs, belief revision, and splitting languages. In Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke, editors, Logic, Language and Computation, volume 2, pages 266-278. CSLI Publi- cations, 1999.","title":"Beliefs, belief revision, and splitting languages","authors":"Rohit Parikh","year":"1999","venue":"Logic, Language and Computation","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Peppas and Williams, 2016] Pavlos Peppas and Mary-Anne Williams. Kinetic consistency and relevance in belief revi- sion. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, pages 401- 414. Springer International Publishing, 2016.","title":"Kinetic consistency and relevance in belief revision","authors":"Pavlos Peppas, Mary-Anne Williams","year":"2016","venue":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Peppas and Williams, 2018] Pavlos Peppas and Mary-Anne Williams. Parametrised difference revision. In Proceed- ings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018, pages 277-286, 2018.","title":"Parametrised difference revision","authors":"Pavlos Peppas, Mary-Anne Williams","year":"2018","venue":"Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Peppas et al., 2008] Pavlos Peppas, Anastasios Michael Fotinopoulos, and Stella Seremetaki. Conflicts between relevance-sensitive and iterated belief revision. In Pro- ceedings of the 18th European Conference on Artificial In- telligence, ECAI 2008, pages 85-88, Patras, Greece, 2008. IOS Press.","title":"Conflicts between relevance-sensitive and iterated belief revision","authors":"Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki","year":"2008","venue":"Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Peppas et al., 2015] Pavlos Peppas, Mary-Anne Williams, Samir Chopra, and Norman Foo. Relevance in belief re- vision. Artificial Intelligence, 229:126-138, December 2015.","title":"Relevance in belief revision","authors":"Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Foo","year":"2015","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Peppas, 2008] Pavlos Peppas. Belief revision. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation, pages 317-359. Elsevier Science, 2008.","title":"Belief revision","authors":"Pavlos Peppas","year":"2008","venue":"Handbook of Knowledge Representation","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Peppas, 2014] Pavlos Peppas. A panorama of iterated re- vision. In Sven O. Hansson, editor, David Makinson on Classical Methods for Non-Classical Problems, pages 71- 94. Springer Netherlands, 2014.","title":"A panorama of iterated revision","authors":"Pavlos Peppas","year":"2014","venue":"David Makinson on Classical Methods for Non-Classical Problems","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Satoh, 1988] Ken Satoh. Nonmonotonic reasoning by min- imal belief revision. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 455-462. Springer-Verlag, Tokyo, 1988.","title":"Nonmonotonic reasoning by minimal belief revision","authors":"Ken Satoh","year":"1988","venue":"Proceedings of the International Conference on Fifth Generation Computer Systems","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Spohn, 1988] Wolfgang Spohn. Ordinal conditional func- tions: A dynamic theory of epistemic states. In William L. Harper and Brian Skyrms, editors, Causation in Decision, Belief Change, and Statistics, volume 42 of The University of Western Ontario Series in Philosophy of Science, pages 105-134. Springer Netherlands, 1988.","title":"Ordinal conditional functions: A dynamic theory of epistemic states","authors":"Wolfgang Spohn, Spohn","year":"1988","venue":"Causation in Decision, Belief Change, and Statistics","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Stalnaker, 2009] Robert Stalnaker. Iterated belief revision. Erkenntnis, 70(2):189-209, 2009.","title":"Iterated belief revision","authors":"Robert Stalnaker","year":"2009","venue":"Erkenntnis","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Winslett, 1988] Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, AAAI 1988, pages 89-93, 1988.","title":"Reasoning about action using a possible models approach","authors":"Marianne Winslett","year":"1988","venue":"Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, AAAI 1988","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}