{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:57:26Z","timestamp":1776941846869,"version":"3.51.4"},"reference-count":53,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,26]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Belief revision is concerned with belief change fired by incoming information. Despite the variety of frameworks representing it, most revision policies share one crucial feature: incoming information outweighs current information and hence, in case of conflict, incoming information will prevail. However, if one is interested in representing the way actual humans revise their beliefs, one might not always want for the agent to blindly believe everything they are told. This manuscript presents a semantic approach to non-prioritized belief revision. It uses plausibility models for depicting an agent\u2019s beliefs, and model operations for displaying the way beliefs change. The first proposal, semantically-based screened revision, compares the current model with the one the revision would yield, accepting or rejecting the incoming information depending on whether the \u2018differences\u2019 between these models go beyond a given threshold. The second proposal, semantically-based gradual revision, turns the binary decision of acceptance or rejection into a more general setting in which a revision always occurs, with the threshold used rather to choose \u2018the right revision\u2019 for the given input and model.<\/jats:p>","DOI":"10.1093\/jigpal\/jzz045","type":"journal-article","created":{"date-parts":[[2019,10,29]],"date-time":"2019-10-29T20:10:03Z","timestamp":1572379803000},"page":"644-671","source":"Crossref","is-referenced-by-count":4,"title":["A Semantic Approach to Non-prioritized Belief Revision"],"prefix":"10.1093","volume":"29","author":[{"given":"Elise","family":"Perrotin","sequence":"first","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, Universit\u00e9 Toulouse III\u2013Paul Sabatier, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando R","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[{"name":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, the Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2020,2,1]]},"reference":[{"key":"2021072110020284400_ref1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","article-title":"Hierarchies of regulation and their logic","volume-title":"New Studies in Deontic Logic, Synthese Library","author":"Alchourr\u00f3n","year":"1981"},{"key":"2021072110020284400_ref2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"The Journal of Symbolic Logic"},{"key":"2021072110020284400_ref3","first-page":"821","article-title":"Hybrid logics","volume-title":"Handbook of Modal Logic, Studies in Logic and Practical Reasoning","author":"Areces","year":"2006"},{"key":"2021072110020284400_ref4","volume-title":"Perspectives on Belief and Change. PhD Thesis","author":"Aucher","year":"2008"},{"key":"2021072110020284400_ref5","first-page":"13","article-title":"A qualitative theory of dynamic interactive belief revision","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT7), Texts in Logic and Games","author":"Baltag","year":"2008"},{"key":"2021072110020284400_ref6","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","article-title":"Dynamic logic for belief revision","volume":"17","author":"van Benthem","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2021072110020284400_ref7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"van Benthem","year":"2011"},{"key":"2021072110020284400_ref8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","article-title":"Everything else being equal: a modal logic for Ceteris Paribus preferences","volume":"38","author":"van Benthem","year":"2009","journal-title":"Journal of Philosophical Logic"},{"key":"2021072110020284400_ref9","doi-asserted-by":"crossref","first-page":"1871","DOI":"10.1007\/s11098-017-0937-y","article-title":"Aboutness in imagination","volume":"175","author":"Berto","year":"2018","journal-title":"Philosophical Studies"},{"key":"2021072110020284400_ref10","article-title":"Knowability relative to information","author":"Berto","year":"2018","journal-title":"Mind"},{"key":"2021072110020284400_ref11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","article-title":"Modal logic","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"Blackburn","year":"2001"},{"key":"2021072110020284400_ref12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","article-title":"Dynamic interactive epistemology","volume":"49","author":"Board","year":"2004","journal-title":"Games and Economic Behavior"},{"key":"2021072110020284400_ref13","first-page":"519","article-title":"Revision sequences and nested conditionals","volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chamb\u00e9ry, France, August 28\u2013September 3, 1993","author":"Boutilier","year":"1993"},{"key":"2021072110020284400_ref14","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00248151","article-title":"Iterated revision and minimal change of conditional beliefs","volume":"25","author":"Boutilier","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"2021072110020284400_ref15","first-page":"1053","article-title":"On distances between KD45${}\\_n$ kripke models and their use for belief revision","volume-title":"ECAI 2016-22nd European Conference on Artificial Intelligence, 29 August\u20132 September 2016, the Hague, the Netherlands\u2014Including Prestigious Applications of Artificial Intelligence (PAIS 2016)","author":"Caridroit","year":"2016"},{"key":"2021072110020284400_ref16","article-title":"Model theory for extended modal languages","volume-title":"Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA)","author":"ten Cate","year":"2005"},{"key":"2021072110020284400_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-00234-2","volume-title":"Encyclopedia of Distances","author":"Deza","year":"2009"},{"key":"2021072110020284400_ref18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s11229-005-1349-7","article-title":"Prolegomena to dynamic logic for belief revision","volume":"147","author":"van Ditmarsch","year":"2005","journal-title":"Synthese"},{"key":"2021072110020284400_ref19","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic, Synthese Library Series","author":"van Ditmarsch","year":"2008"},{"key":"2021072110020284400_ref20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"2021072110020284400_ref21","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","article-title":"Angellic content","volume":"45","author":"Fine","year":"2016","journal-title":"Journal of Philosophical Logic"},{"key":"2021072110020284400_ref22","first-page":"35","article-title":"Belief revision","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4: Epistemic and Temporal Logics","author":"G\u00e4rdenfors","year":"1994"},{"key":"2021072110020284400_ref23","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","article-title":"Reasoning about information change","volume":"6","author":"Gerbrandy","year":"1997","journal-title":"Journal of Logic, Language, and Information"},{"key":"2021072110020284400_ref24","first-page":"129","article-title":"A note on reliability-based preference dynamics","volume-title":"Logic, Rationality, and Interaction\u20145th International Workshop, LORI 2015 Taipei, Taiwan, October 28\u201331, 2015, Proceedings, Springer, Lecture Notes in Computer Science","author":"Ghosh","year":"2015"},{"key":"2021072110020284400_ref25","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","article-title":"Two modellings for theory change","volume":"17","author":"Grove","year":"1988","journal-title":"Journal of Philosophical Logic"},{"key":"2021072110020284400_ref26","volume-title":"The Righteous Mind","author":"Haidt","year":"2012"},{"key":"2021072110020284400_ref27","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","article-title":"Error detecting and error correcting codes","volume":"29","author":"Hamming","year":"1950","journal-title":"Bell System Technical Journal"},{"key":"2021072110020284400_ref28","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1023\/A:1005534223776","article-title":"A survey of non-prioritized belief revision","volume":"50","author":"Hansson","year":"1999","journal-title":"Erkenntnis"},{"key":"2021072110020284400_ref29","doi-asserted-by":"crossref","first-page":"1581","DOI":"10.2307\/2694963","article-title":"Credibility limited revision","volume":"66","author":"Hansson","year":"2001","journal-title":"Journal of Symbolic Logic"},{"key":"2021072110020284400_ref30","first-page":"462","article-title":"Rational conceptual change","volume-title":"Proceedings of the Meeting of the Philosophy of Science Association (PSA 1976)","author":"Harper","year":"1977"},{"key":"2021072110020284400_ref31","doi-asserted-by":"crossref","first-page":"2759","DOI":"10.1007\/s11098-016-0632-4","article-title":"Questions, topics and restricted closure","volume":"173","author":"Hawke","year":"2016","journal-title":"Philosophical Studies"},{"key":"2021072110020284400_ref32","first-page":"547","article-title":"\u00c9tude comparative de la distribution florale dans Une portion des alpes et des Jura","volume":"37","author":"Jaccard","year":"1901","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Vaudoise des Sciences Naturelles"},{"key":"2021072110020284400_ref33","first-page":"577","article-title":"Mathematics without numbers","volume":"88","author":"Kemeny","year":"1959","journal-title":"Daedalus"},{"key":"2021072110020284400_ref34","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1093\/biomet\/30.1-2.81","article-title":"A new measure of rank correlation","volume":"30","author":"Kendall","year":"1938","journal-title":"Biometrika"},{"key":"2021072110020284400_ref35","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based truth maintenance system","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"2021072110020284400_ref36","first-page":"177","article-title":"Improvement operators","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16\u201319, 2008","author":"Konieczny","year":"2008"},{"key":"2021072110020284400_ref37","article-title":"Taxonomy of improvement operators and the problem of minimal change","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9\u201313, 2010","author":"Konieczny","year":"2010"},{"key":"2021072110020284400_ref38","doi-asserted-by":"crossref","first-page":"295","DOI":"10.2307\/2694923","article-title":"Distance semantics for belief revision","volume":"66","author":"Lehmann","year":"2001","journal-title":"Journal of Symbolic Logic"},{"key":"2021072110020284400_ref39","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1997.tb00737.x","article-title":"Screened revision","volume":"63","author":"Makinson","year":"1997","journal-title":"Theoria"},{"key":"2021072110020284400_ref40","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0004-3702(03)00017-1","article-title":"Dynamic belief revision operators","volume":"146","author":"Nayak","year":"2003","journal-title":"Artificial Intelligence"},{"key":"2021072110020284400_ref41","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1037\/1089-2680.2.2.175","article-title":"Confirmation bias: a ubiquitous phenomenon in many guises","volume":"2","author":"Nickerson","year":"1998","journal-title":"Review of General Psychology"},{"key":"2021072110020284400_ref42","first-page":"79","article-title":"Confirmation bias","volume-title":"Cognitive Illusions: A Handbook on Fallacies and Biases in Thinking, Judgement and Memory","author":"Oswald","year":"2004"},{"key":"2021072110020284400_ref43","first-page":"279","article-title":"Iterated revision operations stemming from the history of an agent\u2019s observations","author":"Papini","year":"2001"},{"key":"2021072110020284400_ref44","first-page":"201","article-title":"Logics of public communications","volume-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems","author":"Plaza","year":"1989"},{"key":"2021072110020284400_ref45","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","article-title":"Change, choice and inference: a study of belief revision and nonmonotonic reasoning","volume-title":"Oxford Logic Guides","author":"Rott","year":"2001"},{"key":"2021072110020284400_ref46","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1093\/logcom\/13.1.111","article-title":"Coherence and conservatism in the dynamics of belief II: iterated belief change without dispositional coherence","volume":"13","author":"Rott","year":"2003","journal-title":"Journal of Logic and Computation"},{"key":"2021072110020284400_ref47","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-1-4020-9084-4_14","article-title":"Shifting priorities: simple representations for twenty-seven iterated theory change operators","volume-title":"Towards Mathematical Philosophy, Trends in Logic","author":"Rott","year":"2009"},{"key":"2021072110020284400_ref48","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","article-title":"Ordinal conditional functions: a dynamic theory of epistemic states","volume-title":"Causation in Decision, Belief Change, and Statistics: Proceedings of the Irvine Conference on Probability and Causation, No. 42 in the Western Ontario Series in Philosophy of Science","author":"Spohn","year":"1988"},{"key":"2021072110020284400_ref49","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10849-014-9193-0","article-title":"Dynamic epistemic logic for implicit and explicit beliefs","volume":"23","author":"Vel\u00e1zquez-Quesada","year":"2014","journal-title":"Journal of Logic, Language and Information"},{"key":"2021072110020284400_ref50","first-page":"314","article-title":"On subtler belief revision policies","volume-title":"Logic, Rationality, and Interaction\u20146th International Workshop, LORI 2017, Sapporo, Japan, September 11\u201314, 2017","author":"Vel\u00e1zquez-Quesada","year":"2017"},{"key":"2021072110020284400_ref51","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","article-title":"On axiomatizations of public announcement logic","volume":"190","author":"Wang","year":"2013","journal-title":"Synthese"},{"key":"2021072110020284400_ref52","article-title":"Frontiers in belief revision","volume-title":"Applied Logic Series","author":"Williams","year":"2001"},{"key":"2021072110020284400_ref53","article-title":"Aboutness","volume-title":"Hempel Lecture Series","author":"Yablo","year":"2014"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/4\/644\/39119923\/jzz045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/4\/644\/39119923\/jzz045.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T22:34:49Z","timestamp":1721946889000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/29\/4\/644\/5714724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,1]]},"references-count":53,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2020,2,1]]},"published-print":{"date-parts":[[2021,7,26]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzz045","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2021,8]]},"published":{"date-parts":[[2020,2,1]]}}}