论文标题
关于迭代信念收缩逻辑的有条件观点
A Conditional Perspective on the Logic of Iterated Belief Contraction
论文作者
论文摘要
在本文中，我们考虑了收缩的迭代原则，目的是确定尊重有条件信念的收缩的特性。因此，我们研究并评估了四个迭代原则的收缩原则，这些原则考虑了条件信念的动态。对于所有这些原则，我们提供语义表征定理，并通过假设提供表述，从而强调了信念和有条件信念的变化如何在可能的情况下受到约束。第一组类似于句法darwiche-pearl假设。作为第二组，我们考虑了Chopra，Ghose，Meyer和Wong以及Konieczny和PinoPérez的语义假设，并分别提供了新的语法对应物。第三，我们提出了Jin和Thielscher对独立条件的收缩类似物。对于第四组，我们考虑Nayak的自然和中等收缩。有条理地，我们利用有条件进行收缩，所谓的收缩，此外，我们提出并采用了新的概念，以制定一些新的假设。
In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investigate and evaluate four groups of iteration principles for contraction which consider the dynamics of conditional beliefs. For all these principles, we provide semantic characterization theorems and provide formulations by postulates which highlight how the change of beliefs and of conditional beliefs is constrained, whenever that is possible. The first group is similar to the syntactic Darwiche-Pearl postulates. As a second group, we consider semantic postulates for iteration of contraction by Chopra, Ghose, Meyer and Wong, and by Konieczny and Pino Pérez, respectively, and we provide novel syntactic counterparts. Third, we propose a contraction analogue of the independence condition by Jin and Thielscher. For the fourth group, we consider natural and moderate contraction by Nayak. Methodically, we make use of conditionals for contractions, so-called contractionals and furthermore, we propose and employ the novel notion of $ α$-equivalence for formulating some of the new postulates.
