{"type":"ScholarlyArticle","title":"Epistemic-entrenchment Characterization of Parikh’s Axiom","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":"In this article, we provide the epistemic-entrenchment characterization of the weak version of Parikh’s relevance-sensitive axiom for belief revision — known as axiom (P) — for the general case of incomplete theories. Loosely speaking, axiom (P) states that, if a belief set K can be divided into two disjoint compartments, and the new information φ relates only to the first compartment, then the second compartment should not be affected by the revision of K by φ. The above-mentioned characterization, essentially, constitutes additional constraints on epistemic-entrenchment preorders, that induce AGM revision functions, satisfying the weak version of Parikh’s axiom (P).","doi":"10.24963/ijcai.2017/107","url":"https://ijcai.org/proceedings/2017/107","pdf":"https://ijcai.org/proceedings/2017/0107.pdf","markdown":"https://ijcai.org/proceedings/2017/107.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/107","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":107,"pages":{"first":772,"last":778},"keywords":["Knowledge Representation, Reasoning, and Logic: Belief Change","Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón and Makinson, 1985] Carlos Alchourrón and David Makinson. On the logic of theory change: Safe contractions. Studia Logica, 44:405-422, 1985.","title":"Carlos Alchourrón and David Makinson. On the logic of theory change: Safe contractions","authors":"Makinson Alchourrón","year":"1985","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":2,"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":3,"raw":"[Fuhrmann, 1991] André Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20(2):175-203, 1991.","title":"Theory contraction through base contraction","authors":"André Fuhrmann, Fuhrmann","year":"1991","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Gärdenfors and Makinson, 1988] Peter Gärdenfors and David Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83-95, Pacific Grove, California, 1988.","title":"Revisions of knowledge systems using epistemic entrenchment","authors":"Makinson Gärdenfors, Peter Gärdenfors, David Makinson","year":"1988","venue":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Morgan Kaufmann. [Gärdenfors, 1988] Peter Gärdenfors. Knowledge in Flux - Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, Massachusetts, 1988.","title":"Peter Gärdenfors. Knowledge in Flux -Modeling the Dynamics of Epistemic States","authors":"Morgan Kaufmann","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Grove, 1988] Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17(2):157-170, 1988.","title":"Adam Grove. Two modellings for theory change","authors":"Grove","year":"1988","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Hansson, 1994] Sven Ove Hansson. Kernel contraction. Journal of Symbolic Logic, 59:845-859, 1994.","title":"Kernel contraction","authors":"Sven Ove, Hansson","year":"1994","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":8,"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":9,"raw":"[Lindström and Rabinowicz, 1991] Sten Lindström and Wlodzimierz Rabinowicz. Epistemic entrenchment with incomparabilities and relational belief revision. In André Fuhrmann and Michael Morreau, editors, The Logic of Theory Change, volume 465 of Lecture Notes in Artificial Intelligence, pages 93-126. Springer Berlin Heidelberg, Berlin, Heidelberg, 1991.","title":"Epistemic entrenchment with incomparabilities and relational belief revision","authors":"Rabinowicz Lindström, Sten Lindström, Wlodzimierz Rabinowicz","year":"1991","venue":"The Logic of Theory Change","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Nebel, 1998] Bernhard Nebel. How hard is it to revise a belief base? In Didier Dubois and Henri Prade, editors, Handbook of Defeasible Reasoning and Uncertainty Man- agement Systems, Vol. 3: Belief Change, pages 77-145. Kluwer Academic, 1998.","title":"How hard is it to revise a belief base?","authors":"Bernhard Nebel","year":"1998","venue":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","doi":null,"url":null,"internal_url":null},{"position":11,"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":12,"raw":"[Peppas and Williams, 1995] Pavlos Peppas and Mary-Anne Williams. Constructive modellings for theory change. Notre Dame Journal of Formal Logic, 36(1):120-133, 1995.","title":"Constructive modellings for theory change","authors":"Pavlos Peppas, Mary-Anne Williams","year":"1995","venue":"Notre Dame Journal of Formal Logic","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Peppas et al., 2000] Pavlos Peppas, Norman Foo, and Ab- haya Nayak. Measuring similarity in belief revision. Jour- nal of Logic and Computation, 10:603-619, 2000.","title":"Measuring similarity in belief revision","authors":"Pavlos Peppas, Norman Foo, Abhaya Nayak","year":"2000","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Peppas et al., 2004] Pavlos Peppas, Samir Chopra, and Nor- man Foo. Distance semantics for relevance-sensitive belief revision. In Proceedings of the 9th International Confer- ence on the Principles of Knowledge Representation and Reasoning, KR'04, pages 319-328, 2004.","title":"Distance semantics for relevance-sensitive belief revision","authors":"Pavlos Peppas, Samir Chopra, Norman Foo","year":"2004","venue":"Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, KR'04","doi":null,"url":null,"internal_url":null},{"position":15,"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":16,"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":17,"raw":"[Rott, 1991] Hans Rott. A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of sim- ple conditionals. In André Fuhrmann and Michael Mor- reau, editors, The Logic of Theory Change, volume 465 of Lecture Notes in Artificial Intelligence, pages 135-181. Springer Berlin Heidelberg, Berlin, Heidelberg, 1991.","title":"A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals","authors":"Hans Rott, Rott","year":"1991","venue":"The Logic of Theory Change","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Williams, 1992] Mary-Anne Williams. Two operators for theory bases. In Proceedings of the Australian Joint Con- ference on Artificial Intelligence, pages 259-265. World Scientific, 1992.","title":"Two operators for theory bases","authors":"Mary-Anne Williams","year":"1992","venue":"Proceedings of the Australian Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Williams, 1993] Mary-Anne Williams. Transmutations of Knowledge Systems. PhD thesis, University of Sydney, Australia, 1993.","title":"Transmutations of Knowledge Systems","authors":"Mary-Anne Williams","year":"1993","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Williams, 1994] Mary-Anne Williams. On the logic of the- ory base change. In Craig MacNish, David Pearce, and Luis Pereira, editors, Logics in Artificial Intelligence -Eu- ropean Workshop JELIA '94, volume 838 of Lecture Notes in Artificial Intelligence, pages 86-105. Springer-Verlag Berlin Heidelberg, 1994.","title":"On the logic of theory base change","authors":"Mary-Anne Williams","year":"1994","venue":"Logics in Artificial Intelligence -European Workshop JELIA '94","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}