KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Syntax Splitting for Iterated Contractions

  1. Jonas Philipp Haldimann(TU Dortmund, Dortmund, Germany, FernUniversität in Hagen, Hagen, Germany)
  2. Gabriele Kern-Isberner(TU Dortmund, Dortmund, Germany)
  3. Christoph Beierle(FernUniversität in Hagen, Hagen, Germany)


  1. Belief revision and update, belief merging, information fusion-General
  2. Nonmonotonic logics, default logics, conditional logics-General


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.