A Topological Characterization of Multiple Revision

Multiple revision is a straightforward generalization of traditional belief revision. Peppas (2004) showed a multiple revision operator can be characterized by well-ranked system of spheres. A well-ranked system of spheres is a system of spheres (given by Grove) which satisfies extra conditions (SM) and (SD). An open problem is whether or not (SD) is necessary to derive a multiple revision operator. Peppas has mentioned this problem in Handbook of Knowledge Representation. In this paper, we will discuss this problem by using topological tools and give an answer. Moreover, we show a new model of multiple revision by using total preorder on worlds.

[1]  Timothy J. Surendonk.  Revising Some Basic Proofs in Belief Revision , 1997 .

[2]  Maurice Pagnucco,et al.  Severe Withdrawal (and Recovery) , 1999, J. Philos. Log..

[3]  Mary-Anne Williams,et al.  Belief Change and Semiorders , 2014, KR.

[4]  Odile Papini,et al.  Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration , 2005, IJCAI.

[5]  Norman Y. Foo,et al.  Infinitary Belief Revision , 2001, J. Philos. Log..

[6]  Sten Lindström,et al.  A semantic approach to nonmonotonic reasoning: Inference operations and choice , 2022, Theoria.

[7]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[8]  Pavlos Peppas,et al.  Handbook of Knowledge Representation Edited Belief Revision Pavlos Peppas 8.1 Introduction , 2022 .

[9]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[10]  Stefan Woltran,et al.  Belief revision within fragments of propositional logic , 2012, J. Comput. Syst. Sci..

[11]  Pavlos Peppas.  The Limit Assumption and Multiple Revision , 2004, J. Log. Comput..

[12]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[15]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[16]  Johan van Benthem,et al.  Reasoning About Space: The Modal Way , 2003, J. Log. Comput..

[17]  Nitakshi Goyal,et al.  General Topology-I , 2017 .

[18]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[19]  Hua Meng,et al.  A Topological Characterisation of Belief Revision over Infinite Propositional Languages , 2014, PRICAI.