{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T02:23:35Z","timestamp":1774146215199,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["FT160100092"],"award-info":[{"award-number":["FT160100092"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001215","name":"La Trobe University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001215","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Discussions of the issue of iterated belief revision are commonly accompanied by the presentation of three \u201cconcrete\u201d operators: natural, restrained and lexicographic. This raises a natural question: What is so distinctive about these three particular methods? Indeed, the common axiomatic ground for work on iterated revision, the AGM and Darwiche-Pearl postulates, leaves open a whole range of alternative proposals. In this paper, we show that it is satisfaction of an additional principle of \u201cIndependence of Irrelevant Alternatives\u201d, inspired by the literature on Social Choice, that unites and sets apart our three \u201celementary\u201d revision operators. A parallel treatment of iterated belief contraction is also given, yielding a family of elementary contraction operators that includes, besides the well-known \u201cconservative\u201d and \u201cmoderate\u201d operators, a new contraction operator that is related to restrained revision.<\/jats:p>","DOI":"10.1007\/s10992-022-09672-6","type":"journal-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T13:15:11Z","timestamp":1669900511000},"page":"267-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Elementary Belief Revision Operators"],"prefix":"10.1007","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1580-2228","authenticated-orcid":false,"given":"Jake","family":"Chandler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Booth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,12,1]]},"reference":[{"issue":"02","key":"9672_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(02), 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"9672_CR2","unstructured":"Arrow, K. (1951). Social choice and individual values wiley: new york."},{"key":"9672_CR3","unstructured":"Booth, R., & Chandler, J. (2016). Extending the harper identity to iterated belief change. In Proceedings of the twenty-fifth international joint conference on artificial intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pp. 987\u2013993."},{"issue":"4","key":"9672_CR4","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s10992-016-9404-z","volume":"46","author":"R Booth","year":"2017","unstructured":"Booth, R., & Chandler, J. (2017). The irreducibility of iterated to single revision. Journal of Philosophical Logic, 46(4), 405\u2013418.","journal-title":"Journal of Philosophical Logic"},{"key":"9672_CR5","doi-asserted-by":"crossref","unstructured":"Booth, R., & Chandler, J. (2019). From iterated revision to iterated contraction: Extending the harper identity. Artificial Intelligence, 277.","DOI":"10.1016\/j.artint.2019.103171"},{"key":"9672_CR6","doi-asserted-by":"crossref","unstructured":"Booth, R., & Chandler, J. (2020). On strengthening the logic of iterated belief revision: Proper ordinal interval operators. Artificial Intelligence, 285.","DOI":"10.1016\/j.artint.2020.103289"},{"issue":"1","key":"9672_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1613\/jair.1874","volume":"26","author":"R Booth","year":"2006","unstructured":"Booth, R., & Meyer, T. (2006). Admissible and restrained revision. Journal of Artificial Intelligence Research, 26(1), 127\u2013151.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9672_CR8","doi-asserted-by":"crossref","unstructured":"Booth, R., & Meyer, T. (2011). How to revise a total preorder. Journal of Philosophical Logic, 1\u201346.","DOI":"10.1007\/s10992-011-9172-8"},{"issue":"3","key":"9672_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF00248151","volume":"25","author":"C Boutilier","year":"1996","unstructured":"Boutilier, C. (1996). Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic, 25(3), 263\u2013305.","journal-title":"Journal of Philosophical Logic"},{"issue":"C","key":"9672_CR10","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1016\/j.ijar.2016.06.010","volume":"80","author":"T Caridroit","year":"2017","unstructured":"Caridroit, T., Konieczny, S., & Marquis, P. (2017). Contraction in propositional logic. Int. J. Approx. Reasoning, 80(C), 428\u2013442. https:\/\/doi.org\/10.1016\/j.ijar.2016.06.010.","journal-title":"Int. J. Approx. Reasoning"},{"key":"9672_CR11","doi-asserted-by":"crossref","unstructured":"Chandler, J., & Booth, R. (2019). Elementary iterated revision and the Levi Identity. In Blackburn, p., lorini, e., guo, m. (eds.) logic, rationality, and interaction - 7th international workshop, LORI 2019, Chongqing, China, october 18-21, 2019, proceedings. Lecture notes in computer science, vol. 11813, pp. 15\u201328. Springer.","DOI":"10.1007\/978-3-662-60292-8_2"},{"issue":"5","key":"9672_CR12","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s10992-008-9086-2","volume":"37","author":"S Chopra","year":"2008","unstructured":"Chopra, S., Ghose, A., Meyer, T., & Wong, K.S. (2008). Iterated belief change and the Recovery axiom. Journal of Philosophical Logic, 37(5), 501\u2013520.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9672_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche, A., & Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89(1), 1\u201329.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9672_CR14","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10992-011-9171-9","volume":"40","author":"EL Ferm\u0117","year":"2011","unstructured":"Ferm\u0117, E.L., & Hansson, S.O. (2011). AGM 25 Years - twenty-five years of research in belief change. Journal of Philosophical Logic, 40(2), 295\u2013331.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9672_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1005398707330","volume":"49","author":"SM Glaister","year":"1998","unstructured":"Glaister, S.M. (1998). Symmetry and belief revision. Erkenntnis, 49(1), 21\u201356.","journal-title":"Erkenntnis"},{"issue":"3","key":"9672_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno, H., & Mendelzon, A.O. (1991). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52(3), 263\u2013294.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9672_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., & Magidor, M. (1992). What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1\u201360.","journal-title":"Artificial Intelligence"},{"key":"9672_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2013.09.005","volume":"206","author":"P Marquis","year":"2014","unstructured":"Marquis, P., & Schwind, N. (2014). Lost in translation: Language independence in propositional logic - application to belief change. Artificial Intelligence, 206, 1\u201324. https:\/\/doi.org\/10.1016\/j.artint.2013.09.005https:\/\/doi.org\/10.1016\/j.artint.2013.09.005.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"9672_CR19","doi-asserted-by":"publisher","first-page":"680","DOI":"10.2307\/1907651","volume":"20","author":"KO May","year":"1952","unstructured":"May, K.O. (1952). A set of independent necessary and sufficient conditions for simple majority decision. Econometrica, 20(4), 680\u2013684. http:\/\/www.jstor.org\/stable\/1907651.","journal-title":"Econometrica"},{"key":"9672_CR20","unstructured":"Nayak, A.C., Goebel, R., & Orgun, M.A. (2007). Iterated belief contraction from first principles. In Proceedings of the 20th international joint conference on artificial intelligence (IJCAI-07), Hyderabad, India, January 6\u201312 2007 (pp. 2568\u20132573)."},{"key":"9672_CR21","unstructured":"Nayak, A.C., Goebel, R., Orgun, M.A., & Pham, T. (2005). Iterated belief change and the Levi Identity. In Belief change in rational agents: perspectives from artificial intelligence, philosophy, and economics, 7.-12. August 2005."},{"issue":"2","key":"9672_CR22","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0004-3702(03)00017-1","volume":"146","author":"AC Nayak","year":"2003","unstructured":"Nayak, A.C., Pagnucco, M., & Peppas, P. (2003). Dynamic belief revision operators. Artificial Intelligence, 146(2), 193\u2013228.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9672_CR23","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10992-011-9201-7","volume":"41","author":"R Ramachandran","year":"2012","unstructured":"Ramachandran, R., Nayak, A.C., & Orgun, M.A. (2012). Three approaches to iterated belief contraction. Journal of Philosophical Logic, 41(1), 115\u2013142. http:\/\/www.jstor.org\/stable\/41427272.","journal-title":"Journal of Philosophical Logic"},{"key":"9672_CR24","doi-asserted-by":"crossref","unstructured":"Rott, H. (2009). Shifting priorities: Simple representations for twenty-seven iterated theory change operators. In Malinowski, D.M.J., Wansing, H (eds.) Philosophy, Towards Mathematical. Springer (pp. 269\u2013296).","DOI":"10.1007\/978-1-4020-9084-4_14"},{"issue":"3","key":"9672_CR25","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1305\/ndjfl\/1039182247","volume":"39","author":"K Segerberg","year":"1998","unstructured":"Segerberg, K. (1998). Irrevocable belief revision in dynamic doxastic logic. Notre Dame Journal of Formal Logic, 39(3), 287\u2013306.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09672-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09672-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09672-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T12:51:08Z","timestamp":1674910268000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09672-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["9672"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09672-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12,1]]},"assertion":[{"value":"4 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}