{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:55:52Z","timestamp":1762102552747,"version":"3.37.3"},"reference-count":33,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T00:00:00Z","timestamp":1600387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["MIS-5033021"],"award-info":[{"award-number":["MIS-5033021"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Rational belief-change policies are encoded in the so-called AGM revision functions, defined in the prominent work of Alchourr\u00f3n, G\u00e4rdenfors and Makinson. The present article studies an interesting class of well-behaved AGM revision functions, called herein uniform-revision operators (or UR operators, for short). Each UR operator is uniquely defined by means of a single total preorder over all possible worlds, a fact that in turn entails a significantly lower representational cost, relative to an arbitrary AGM revision function, and an embedded solution to the iterated-revision problem, at no extra representational cost. Herein, we first demonstrate how weaker, more expressive\u2014yet, more representationally expensive\u2014types of uniform revision can be defined. Furthermore, we prove that UR operators, essentially, generalize a significant type of belief change, namely, parametrized-difference revision. Lastly, we show that they are (to some extent) relevance-sensitive, as well as that they respect the so-called principle of kinetic consistency.<\/jats:p>","DOI":"10.1093\/logcom\/exaa058","type":"journal-article","created":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T11:14:27Z","timestamp":1599304467000},"page":"1357-1376","source":"Crossref","is-referenced-by-count":6,"title":["On uniform belief revision"],"prefix":"10.1093","volume":"30","author":[{"given":"Theofanis","family":"Aravanis","sequence":"first","affiliation":[{"name":"Department of Business Administration, School of Economics & Business, University of Patras, Patras 265 00, Greece"}]}],"member":"286","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"2020101308245514300_ref1","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":"Journal of Symbolic Logic"},{"key":"2020101308245514300_ref2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","article-title":"On the logic of theory change: safe contractions","volume":"44","author":"Alchourr\u00f3n","year":"1985","journal-title":"Studia Logica"},{"key":"2020101308245514300_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/s10472-019-09625-x","article-title":"An investigation of parametrized difference revision operators","author":"Aravanis","year":"2019","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"volume-title":"Relevance and Knowledge Dynamics for Intelligent Agents","year":"2019","author":"Aravanis","key":"2020101308245514300_ref4"},{"key":"2020101308245514300_ref5","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1613\/jair.1.11838","article-title":"Full characterization of Parikh\u2019s relevance-sensitive axiom for belief revision","volume":"66","author":"Aravanis","year":"2019","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2020101308245514300_ref6","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-94-015-9817-0_13","article-title":"Iterable AGM functions","volume-title":"Frontiers in Belief Revision","author":"Areces","year":"2001"},{"key":"2020101308245514300_ref7","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/4879.4995","article-title":"Language features for flexible handling of exceptions in information systems","volume":"10","author":"Borgida","year":"1985","journal-title":"ACM Transactions on Database Systems"},{"key":"2020101308245514300_ref8","first-page":"475","article-title":"Investigations into theory of knowledge base revision: preliminary report","volume-title":"Proceedings of the 7th National Conference of the American Association for Artificial Intelligence (AAAI 1988)","author":"Dalal","year":"1988"},{"key":"2020101308245514300_ref9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/B978-1-4832-1453-5.50005-2","article-title":"On the logic of iterated belief revision","volume-title":"Proceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994)","author":"Darwiche","year":"1994"},{"key":"2020101308245514300_ref10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","article-title":"On the logic of iterated belief revision","volume":"89","author":"Darwiche","year":"1997","journal-title":"Artificial Intelligence"},{"key":"2020101308245514300_ref11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2014.08.006","article-title":"Belief revision in Horn theories","volume":"218","author":"Delgrande","year":"2015","journal-title":"Artificial Intelligence"},{"key":"2020101308245514300_ref12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","article-title":"On the complexity of propositional knowledge base revision, updates, and counterfactuals","volume":"57","author":"Eiter","year":"1992","journal-title":"Artificial Intelligence"},{"volume-title":"Knowledge in Flux\u2014Modeling the Dynamics of Epistemic States","year":"1988","author":"G\u00e4rdenfors","key":"2020101308245514300_ref13"},{"key":"2020101308245514300_ref14","first-page":"83","article-title":"Revisions of knowledge systems using epistemic entrenchment","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1988)","author":"G\u00e4rdenfors","year":"1988"},{"key":"2020101308245514300_ref15","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":"2020101308245514300_ref16","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-030-35288-2_12","article-title":"An efficient solver for parametrized difference revision","volume-title":"AI 2019: Advances in Artificial Intelligence","author":"Hunter","year":"2019"},{"key":"2020101308245514300_ref17","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","article-title":"Propositional knowledge base revision and minimal change","volume":"52","author":"Katsuno","year":"1991","journal-title":"Artificial Intelligence"},{"key":"2020101308245514300_ref18","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1016\/j.ejor.2003.06.039","article-title":"Propositional belief base merging or how to merge beliefs\/goals coming from several sources and some links with social choice theory","volume":"160","author":"Konieczny","year":"2005","journal-title":"European Journal of Operational Research"},{"key":"2020101308245514300_ref19","first-page":"1534","article-title":"Belief revision, revised","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995)","author":"Lehmann","year":"1995"},{"key":"2020101308245514300_ref20","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":"The Journal of Symbolic Logic"},{"key":"2020101308245514300_ref21","first-page":"77","article-title":"How hard is it to revise a belief base?","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 3: Belief Change","author":"Nebel","year":"1998"},{"key":"2020101308245514300_ref22","first-page":"266","article-title":"Beliefs, belief revision, and splitting languages","volume-title":"Logic, Language and Computation","author":"Parikh","year":"1999"},{"key":"2020101308245514300_ref23","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S1574-6526(07)03008-8","article-title":"Belief revision","volume-title":"Handbook of Knowledge Representation","author":"Peppas","year":"2008"},{"key":"2020101308245514300_ref24","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-94-007-7759-0_5","article-title":"A panorama of iterated revision","volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"Peppas","year":"2014"},{"key":"2020101308245514300_ref25","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1305\/ndjfl\/1040308831","article-title":"Constructive modellings for theory change","volume":"36","author":"Peppas","year":"1995","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2020101308245514300_ref26","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-319-48758-8_26","article-title":"Kinetic consistency and relevance in belief revision","volume-title":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016)","author":"Peppas","year":"2016"},{"key":"2020101308245514300_ref27","first-page":"277","article-title":"Parametrised difference revision","volume-title":"Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)","author":"Peppas","year":"2018"},{"key":"2020101308245514300_ref28","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.artint.2015.08.007","article-title":"Relevance in belief revision","volume":"229","author":"Peppas","year":"2015","journal-title":"Artificial Intelligence"},{"key":"2020101308245514300_ref29","first-page":"455","article-title":"Nonmonotonic reasoning by minimal belief revision","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","author":"Satoh","year":"1988"},{"volume-title":"Coherent Systems","year":"2004","author":"Schlechta","key":"2020101308245514300_ref30"},{"key":"2020101308245514300_ref31","first-page":"137","article-title":"Distance semantics for belief revision","volume-title":"Proceedings of the 6th Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1996)","author":"Schlechta"},{"key":"2020101308245514300_ref32","first-page":"487","article-title":"Updating propositional formulas","volume-title":"Proceedings of the 1st Conference on Expert Database Systems","author":"Weber","year":"1986"},{"key":"2020101308245514300_ref33","first-page":"89","article-title":"Reasoning about action using a possible models approach","volume-title":"Proceedings of the 7th National Conference of the American Association for Artificial Intelligence (AAAI 1988)","author":"Winslett","year":"1988"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/7\/1357\/33871947\/exaa058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/7\/1357\/33871947\/exaa058.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T12:32:26Z","timestamp":1602592346000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/7\/1357\/5908675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,18]]},"references-count":33,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2020,9,18]]},"published-print":{"date-parts":[[2020,10,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa058","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2020,10]]},"published":{"date-parts":[[2020,9,18]]}}}