{"type":"ScholarlyArticle","title":"On the Logic of Theory Change Iteration of KM-Update, Revised","authors":[{"name":"Liangda Fang","slug":"liangda-fang","given":"Liangda","family":"Fang","affiliation":"Jinan University , Guangzhou 510632 , China; Pazhou Lab , Guangzhou 510330 , China"},{"name":"Tong Zhu","slug":"tong-zhu","given":"Tong","family":"Zhu","affiliation":"Jinan University , Guangzhou 510632 , China"},{"name":"Quanlong Guan","slug":"quanlong-guan","given":"Quanlong","family":"Guan","affiliation":"Jinan University , Guangzhou 510632 , China"},{"name":"Junming Qiu","slug":"junming-qiu","given":"Junming","family":"Qiu","affiliation":"Sun Yat-sen University , Guangzhou 510006 , China"},{"name":"Zhao-Rong Lai","slug":"zhao-rong-lai","given":"Zhao-Rong","family":"Lai","affiliation":"Jinan University , Guangzhou 510632 , China"},{"name":"Weiqi Luo","slug":"weiqi-luo","given":"Weiqi","family":"Luo","affiliation":"Jinan University , Guangzhou 510632 , China"},{"name":"Hai Wan","slug":"hai-wan","given":"Hai","family":"Wan","affiliation":"Sun Yat-sen University , Guangzhou 510006 , China"}],"abstract":"Belief revision and update, two significant types of belief change, both focus on how an agent modifies her beliefs in presence of new information. The most striking difference between them is that the former studies the change of beliefs in a static world while the latter concentrates on a dynamically-changing world. The famous AGM and KM postulates were proposed to capture rational belief revision and update, respectively. However, both of them are too permissive to exclude some unreasonable changes in the iteration. In response to this weakness, the DP postulates and its extensions for iterated belief revision were presented. Furthermore, Ferme and Goncalves integrated these postulates in belief update. Unfortunately, some redundant components are included in the definitions of belief states and the faithful assignments for semantic characterizations. Moreover, their approach does not meet the desired property of iterated belief update. They also do not discuss the rationale of any DP postulate within the update context. This paper is intended to fix these deficiencies of Ferme and Goncalves’s approach. Firstly, we present a modification of the original KM postulates based on belief states, and propose the notion of faithful collective assignments of belief states to partial preorders. Subsequently, we migrate several well-known postulates for iterated belief revision to iterated belief update. Moreover, we provide the exact semantic characterizations based on partial preorders for each of the proposed postulates. Finally, we analyze the compatibility between the above iterated postulates and the KM postulates for belief update.","doi":"10.24963/ijcai.2024/371","url":"https://ijcai.org/proceedings/2024/371","pdf":"https://ijcai.org/proceedings/2024/0371.pdf","markdown":"https://ijcai.org/proceedings/2024/371.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/371","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":371,"pages":{"first":3351,"last":3359},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief","Knowledge Representation and Reasoning: KRR: Belief change"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos E. 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 E Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Booth and Chandler, 2019] Richard Booth and Jake Chan- dler. From iterated revision to iterated contraction: Extending the harper identity. Artificial Intelligence, 277:103171:1-103171:20, 2019.","title":"From iterated revision to iterated contraction: Extending the harper identity","authors":"Richard Booth, Jake Chandler","year":"2019","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Booth and Meyer, 2006] Richard Booth and Thomas Meyer. Admissible and Restrained Revision. Journal of Artificial Intelligence Research, pages 127-151, 2006.","title":"Admissible and Restrained Revision","authors":"Meyer ; Booth, Richard Booth, Thomas Meyer","year":"2006","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Boutilier, 1996] Craig Boutilier. Iterated Revision and Min- imal Change of Conditional Beliefs. Journal of Philosoph- ical Logic, pages 263-305, 1996.","title":"Iterated Revision and Minimal Change of Conditional Beliefs","authors":"Craig Boutilier","year":"1996","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Cantwell, 1999] John Cantwell. Some Logics of Iterated Belief Change. Studia Logica, 63(1):49-84, 1999.","title":"Some Logics of Iterated Belief Change","authors":"John Cantwell","year":"1999","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Chopra et al., 2008] Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, and Ka-Shu Wong. Iter- ated belief change and the recovery axiom. Journal of Philosophical Logic, 37(5):501-520, 2008.","title":"Iterated belief change and the recovery axiom","authors":"Samir Chopra, Aditya Ghose, Thomas, Andreas Meyer, Ka-Shu Wong","year":"2008","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Darwiche and Pearl, 1997] Adnan Darwiche and Judea Pearl. On the Logic of Iterated Belief Revision. Artificial Intelligence, 89(1):1-29, 1997.","title":"Adnan Darwiche and Judea Pearl. On the Logic of Iterated Belief Revision","authors":"Pearl Darwiche","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Delgrande et al., 2006] James P. Delgrande, Didier Dubois, and Jérôme Lang. Iterated Revision as Prioritized Merg- ing. In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reason- ing (KR-2016), pages 210-220, 2006.","title":"Iterated Revision as Prioritized Merging","authors":"James P Delgrande, Didier Dubois, Jérôme Lang","year":"2006","venue":"Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2016)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Fang and Liu, 2013] Liangda Fang and Yongmei Liu. Mul- tiagent Knowledge and Belief Change in the Situation Cal- culus. In Proceedings of the Twenty-Seventh AAAI Con- ference on Artificial Intelligence (AAAI-2013), pages 304- 312, 2013.","title":"Liangda Fang and Yongmei Liu. Multiagent Knowledge and Belief Change in the Situation Calculus","authors":"Liu Fang","year":"2013","venue":"Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-2013)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Fermé and Gonc ¸alves, 2023] Eduardo Fermé and Sara Gonc ¸alves. On the logic of theory change iteration of KM-update. International Journal of Approximate Reasoning, 161:108984, 2023.","title":"On the logic of theory change iteration of KM-update","authors":"Gonc Fermé, Eduardo Fermé, Sara Gonc ¸alves","year":"2023","venue":"International Journal of Approximate Reasoning","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gonc ¸alves, 2015] Sara Gonc ¸alves. On the Iteration of Kat- suno and Mendelzon Update. Master's thesis, University of Madeira, 2015.","title":"On the Iteration of Katsuno and Mendelzon Update","authors":"Sara Gonc, ¸alves","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Hansson, 2016] Sven Ove Hansson. Iterated Descriptor Re- vision and the Logic of Ramsey Test Conditionals. Journal of Philosophical Logic, 45(4):429-450, 2016.","title":"Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals","authors":"Sven Ove, Hansson","year":"2016","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"William L. Harper. Rational Conceptual Change. In Proceedings of the Biennial Meeting of the Philosophy of Science Association, volume 2, pages 462- 494, 1976.","title":"Rational Conceptual Change","authors":"L William, Harper","year":"1976","venue":"Proceedings of the Biennial Meeting of the Philosophy of Science Association","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Jin and Thielscher, 2007] Yi Jin and Michael Thielscher. It- erated belief revision, revised. Artificial Intelligence, 171(1):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":15,"raw":"[Katsuno and Mendelzon, 1991a] Hirofumi Katsuno and Al- berto O. Mendelzon. On the Difference between Up- dating a Knowledge Base and Revising it. In Proceed- ings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR-1991), pages 387-394, 1991.","title":"On the Difference between Updating a Knowledge Base and Revising it","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Alberto O Mendelzon","year":"1991","venue":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR-1991)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Katsuno and Mendelzon, 1991b] Hirofumi Katsuno and Al- berto O. Mendelzon. Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence, 52(3):263-294, 1991.","title":"Propositional Knowledge Base Revision and Minimal Change","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Alberto O Mendelzon","year":"1991","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Konieczny and Pino Pérez, 2000] Sébastien Konieczny and Ramón Pino Pérez. A framework for iterated revision. Journal of Applied Non-Classical Logics, 10:339-367, 2000.","title":"A framework for iterated revision","authors":"Pino Konieczny, Sébastien Pérez, Ramón Konieczny, Pérez Pino","year":"2000","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lehmann, 1995] Daniel Lehmann. Belief Revision, Re- vised. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-1995), pages 1534-1540, 1995.","title":"Belief Revision, Revised","authors":"Daniel Lehmann, Lehmann","year":"1995","venue":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-1995)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Levi, 1978] Isaac Levi. Subjunctives, Dispositions and Chances, pages 303-335. Springer Netherlands, 1978.","title":"Isaac Levi. Subjunctives, Dispositions and Chances","authors":"Levi","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Meyer, 2001] Thomas Meyer. Basic Infobase Change. Stu- dia Logica, 67(2):215-242, 2001.","title":"Basic Infobase Change","authors":"Thomas Meyer","year":"2001","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Nayak et al., 2003] Abhaya C. Nayak, Maurice Pagnucco, and Pavlos Peppas. Dynamic Belief Revision Operators. Artificial Intelligence, 146(2):193-228, 2003.","title":"Dynamic Belief Revision Operators","authors":"C Abhaya, Maurice Nayak, Pavlos Pagnucco, Peppas","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Schwering et al., 2017] Christoph Schwering, Gerhard Lakemeyer, and Maurice Pagnucco. Belief revision and projection in the epistemic situation calculus. Artificial Intelligence, 251:62-97, 2017.","title":"Belief revision and projection in the epistemic situation calculus","authors":"Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Shapiro et al., 2011] Steven Shapiro, Maurice Pagnucco, Yves Lespérance, and Hector J. Levesque. Iterated be- lief change in the situation calculus. Artificial Intelligence, 175(1):165-192, 2011.","title":"Iterated belief change in the situation calculus","authors":"Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J Levesque","year":"2011","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Stalnaker, 2009] Robert Stalnaker. Iterated Belief Revision. Erkenntnis, pages 189-209, 2009.","title":"Iterated Belief Revision","authors":"Robert Stalnaker","year":"2009","venue":"Erkenntnis","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}