{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:37:41Z","timestamp":1723016261879},"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>Parikh developed the notion of syntax splitting to describe belief sets with independent parts. He also formulated a postulate demanding that belief revisions respect syntax splittings in belief sets. The concept of syntax splitting was later transferred to epistemic states with total preorders and ranking functions by Kern-Isberner and Brewka along with corresponding postulates for belief revisions. Besides revision, contraction is also a central operation in the field of general belief change. In this paper, we analyse belief contractions with respect to syntax splitting. Based on the work on syntax splitting for revision, we develop syntax splitting postulates for contractions on ranking functions, on epistemic states with total preorder, and on belief sets. Finally, we evaluate different contractions from the literature, namely moderate contraction, natural contraction, lexicographic contraction, and c-contractions with respect to the newly developed contraction postulates.<\/jats:p>","DOI":"10.24963\/kr.2020\/47","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"465-475","source":"Crossref","is-referenced-by-count":1,"title":["Syntax Splitting for Iterated Contractions"],"prefix":"10.24963","author":[{"given":"Jonas Philipp","family":"Haldimann","sequence":"first","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"},{"name":"FernUniversit\u00e4t in Hagen, Hagen, Germany"}]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}]},{"given":"Christoph","family":"Beierle","sequence":"additional","affiliation":[{"name":"FernUniversit\u00e4t in Hagen, Hagen, Germany"}]}],"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:40Z","timestamp":1604611120000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/47"}},"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\/47","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}