{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:20:11Z","timestamp":1740158411905,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["BE 1700\/9-1 and BE 1700\/10-1"],"award-info":[{"award-number":["BE 1700\/9-1 and BE 1700\/10-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FernUniversit\u00e4t in Hagen"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper summarises several contributions to the theory of belief change by the authors\u2019 dissertation thesis. First, a relational characterization of belief revision for Tarskian logics is considered, encompassing first-order predicate logic, description logic, modal logics and many monotonic logics with model-theoretic semantics. Those logics where total preorders are the standard semantics for revision are characterized. The second contribution considered is a theory of belief revision that builds upon the idea that agents are limited in what the outcome of a revision is. Furthermore, advancements in principles for iterated belief contraction given in the thesis are outlined.<\/jats:p>","DOI":"10.1007\/s13218-023-00830-9","type":"journal-article","created":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T08:03:05Z","timestamp":1706774585000},"page":"89-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Semantics of Belief Change Operators for Intelligent Agents"],"prefix":"10.1007","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1551-7016","authenticated-orcid":false,"given":"Kai","family":"Sauerwald","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,2,1]]},"reference":[{"issue":"2","key":"830_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n CE, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Log 50(2):510\u2013530","journal-title":"J Symb Log"},{"key":"830_CR2","first-page":"116","volume-title":"KR 2012","author":"R Booth","year":"2012","unstructured":"Booth R, Ferm\u00e9 E, Konieczny S, Pino P\u00e9rez R (2012) Credibility-limited revision operators in propositional logic. KR 2012. AAAI Press, pp 116\u2013125"},{"key":"830_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1613\/jair.1874","volume":"26","author":"R Booth","year":"2006","unstructured":"Booth R, Meyer TA (2006) Admissible and restrained revision. J Artif Intell Res 26:127\u2013151","journal-title":"J Artif Intell Res"},{"issue":"5","key":"830_CR4","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 TA, Wong K (2008) Iterated belief change and the recovery axiom. J Philos Logic 37(5):501\u2013520","journal-title":"J Philos Logic"},{"key":"830_CR5","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. Artif Intell 89:1\u201329","journal-title":"Artif Intell"},{"key":"830_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.08.006","volume":"218","author":"JP Delgrande","year":"2015","unstructured":"Delgrande JP, Peppas P (2015) Belief revision in Horn theories. Artif Intell 218:1\u201322","journal-title":"Artif Intell"},{"key":"830_CR7","first-page":"95","volume-title":"RuleML+RR 2022, LNCS","author":"FM Falakh","year":"2022","unstructured":"Falakh FM, Rudolph S, Sauerwald K (2022) Semantic characterizations of AGM revision for tarskian logics. RuleML+RR 2022, LNCS, vol 13752. Springer, pp 95\u2013110"},{"key":"830_CR8","volume-title":"Belief change - introduction and overview. Springer briefs in intelligent systems","author":"EL Ferm\u00e9","year":"2018","unstructured":"Ferm\u00e9 EL, Hansson SO (2018) Belief change - introduction and overview. Springer briefs in intelligent systems. Springer"},{"issue":"2","key":"830_CR9","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove A (1988) Two modellings for theory change. J Philos Logic 17(2):157\u2013170","journal-title":"J Philos Logic"},{"issue":"2","key":"830_CR10","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1023\/A:1005534223776","volume":"50","author":"SO Hansson","year":"1999","unstructured":"Hansson SO (1999) A survey of non-prioritized belief revision. Erkenntnis 50(2):413\u2013427","journal-title":"Erkenntnis"},{"issue":"4","key":"830_CR11","doi-asserted-by":"publisher","first-page":"1581","DOI":"10.2307\/2694963","volume":"66","author":"SO Hansson","year":"2001","unstructured":"Hansson SO, Ferm\u00e9 EL, Cantwell J, Falappa MA (2001) Credibility limited revision. J Symb Log 66(4):1581\u20131596","journal-title":"J Symb Log"},{"issue":"10","key":"830_CR12","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1016\/j.artint.2008.03.002","volume":"172","author":"M Hild","year":"2008","unstructured":"Hild M, Spohn W (2008) The measurement of ranks and the laws of iterated contraction. Artif Intell 172(10):1195\u20131218","journal-title":"Artif Intell"},{"issue":"1","key":"830_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y Jin","year":"2007","unstructured":"Jin Y, Thielscher M (2007) Iterated belief revision, revised. Artif Intell 171(1):1\u201318","journal-title":"Artif Intell"},{"issue":"3","key":"830_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1992","unstructured":"Katsuno H, Mendelzon AO (1992) Propositional knowledge base revision and minimal change. Artif Intell 52(3):263\u2013294","journal-title":"Artif Intell"},{"key":"830_CR15","volume-title":"Social choice theory: An introduction","author":"JS Kelly","year":"2013","unstructured":"Kelly JS (2013) Social choice theory: An introduction. Springer Science & Business Media"},{"key":"830_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-319-67582-4_25","volume-title":"Scalable Uncertainty Management - 11th International Conference, {SUM}2017, Granada, Spain, Proceedings","author":"S Konieczny","year":"2017","unstructured":"Konieczny S, Pino P\u00e9rez R (2017) On iterated contraction: syntactic characterization, representation theorem and limitations of the Levi identity. In: Moral S, Pivert O, S\u00e1nchez D, Mar\u00edn N (eds) Scalable Uncertainty Management-11th International Conference, {SUM} 2017, Granada, Spain, Proceedings, vol 10564. Lecture Notes in Computer Science. Springer, Granada, Spain, pp 348\u2013362. https:\/\/doi.org\/10.1007\/978-3-319-67582-4_25"},{"key":"830_CR17","first-page":"269","volume-title":"Shifting Priorities: Simple representations for twenty-seven iterated theory change operators","author":"H Rott","year":"2009","unstructured":"Rott H (2009) Shifting Priorities: Simple representations for twenty-seven iterated theory change operators. Springer, Netherlands, pp 269\u2013296"},{"key":"830_CR18","doi-asserted-by":"crossref","unstructured":"Sauerwald K (2022) Semantics of belief change operators for intelligent agents: iteration, oostulates, and realizability, Dissertations in Artificial Intelligence, vol. 352. IOS Press","DOI":"10.3233\/DAI352"},{"key":"830_CR19","first-page":"889","volume-title":"ECAI 2020","author":"K Sauerwald","year":"2020","unstructured":"Sauerwald K, Kern-Isberner G, Beierle C (2020) A conditional perspective for iterated belief contraction. ECAI 2020. IOS Press, pp 889\u2013896"},{"key":"830_CR20","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics","author":"W Spohn","year":"1988","unstructured":"Spohn W (1988) Ordinal conditional functions: a dynamic theory of epistemic states. Causation in Decision, Belief Change, and Statistics, vol II. Kluwer Academic Publishers, pp 105\u2013134"},{"key":"830_CR21","first-page":"98","volume-title":"Studies in Logical Theory (American Philosophical Quarterly Monographs 2)","author":"R Stalnaker","year":"1968","unstructured":"Stalnaker R (1968) A theory of conditionals. In: Rescher N (ed) Studies in Logical Theory (American Philosophical Quarterly Monographs 2). Blackwell, Oxford, pp 98\u2013112"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-023-00830-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-023-00830-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-023-00830-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:23:43Z","timestamp":1730305423000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-023-00830-9"}},"subtitle":["Iteration,\u00a0Postulates,\u00a0and\u00a0Realizability"],"short-title":[],"issued":{"date-parts":[[2024,2,1]]},"references-count":21,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["830"],"URL":"https:\/\/doi.org\/10.1007\/s13218-023-00830-9","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2024,2,1]]},"assertion":[{"value":"21 June 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 December 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}