{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T17:01:26Z","timestamp":1762102886418},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>We present a formal framework for modelling belief change within a nonmonotonic reasoning system. Belief change and non-monotonic reasoning are two areas that are formally closely related, with recent attention being paid towards the analysis of belief change within a non-monotonic environment. In this paper we consider the classical AGM belief change operators, contraction and revision, applied to a defeasible setting in the style of Kraus, Lehmann, and Magidor. The investigation leads us to the consideration of the problem of iterated change, generalising the classical work of Darwiche and Pearl. We characterise a family of operators for iterated revision, followed by an analogous characterisation of operators for iterated contraction.  We start considering belief change operators aimed at preserving logical consistency, and then characterise analogous operators aimed at the preservation of coherence\u2014an important notion within the field of logic-based ontologies.<\/jats:p>","DOI":"10.24963\/kr.2020\/22","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"213-222","source":"Crossref","is-referenced-by-count":0,"title":["Rational Defeasible Belief Change"],"prefix":"10.24963","author":[{"given":"Giovanni","family":"Casini","sequence":"first","affiliation":[{"name":"ISTI-CNR"},{"name":"CAIR"},{"name":"University of Cape Town"}]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[{"name":"University of Cape Town"},{"name":"CAIR"}]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[{"name":"CRIL, Univ. Artois, CNRS"},{"name":"CAIR"},{"name":"Stellenbosch University"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:33Z","timestamp":1604611113000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/22"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/22","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}