信仰修订的逻辑（完结）

在很大程度上是类似的系统是在动态认知逻辑，德尔（1989年Plaza; Baltag等，1998; Van Ditmarsch等，2007;见动态认识逻辑的进入）。 DDL和DEL之间的主要差异是后者主要在多透明语境中进行了研究。 最具学习的动态是一些句子的公开公告（Van Ditmarsch等人。2007）。

8.3描述符修订版

描述符修订（Hansson 2017）基于两个主要的正式建设。 其中一个是金属语言信仰谓词B，其应用于对象语言的句子。 BP表示句子P被认为，¬BP不相信，并且bp∨bq认为P或Q. 这些句子可用于表达信仰变革操作的成功条件。 因此，BP是P，¬bp对p和{¬bp，¬bq}的收缩的成功条件，由{p，q}多次收缩的。 由于描述符的多功能性，我们只需要一个操作，表示∘。 因此，k∘bp表示p和k∘¬bp对p的修订。

其他主要的正式建筑是一种选择功能（选择功能），可直接在操作的潜在结果上运行。 因此，通过在含有P的潜在信仰组中选择一个（可能是最可选择的，或者手头最近的）来执行操作K 1BP。 基于这些原则的操作已经是公理的。 值得注意的是，在AGM框架中创建问题的恢复假设在描述符修订框架中不会保持。 选择功能在潜在的信念结果中的应用可以说是比其适用于可能的世界或剩余者，因为后两种实体是逻辑无限的

描述符修订使得可以更常见地调查变化的操作，并讨论可以以不同类型的成功条件持有的属性。 让ψ和ξ是描述符，即包含B算子的句子。 让k⊩ψ表示K满足ψ中的所有条件。 描述符修订的这种常规属性的一些示例是：

关闭：

k∘ψ= CN（k∘ψ）

相对成功：

k∘ψ⊩ψ或k∘ψ= k

规律：

如果k∘ξ⊩ψ，那么k∘ψ⊩ψ

确认：

如果k⊩ψ，那么k∘ψ= k）

cumulativity：

如果k∘ψ⊩ξ，那么k∘ψ=k∘（ψ∪ξ）

8.4贝叶斯型号

AGM模型和信仰修订的其他逻辑框架是基于对信仰的二分法方法：在无论没有任何渐变的情况下，在任何一种情况下都不存在的东西。 信仰可以或多或少地放弃，非信仰可以或多或少容易变成信仰，但相信的行为不承认学位。 相比之下，概率的信念模型，通常基于某种形式的主观贝叶斯主义，承认最强烈的信念与最强的难以置信之间的各种程度。 二分法和概率模型代表了相信系统的不同特征。 事实证明，难以构建一个合理可管理的模型，这些模型涵盖了相关的逻辑和信仰变革的概率性质。 这些困难与彩票和前言悖论密切相关（Kyburg 1961; Makinson 1965）。

然而，信仰修订理论已经证明，在处理有条件概率的有条件限制案件的情况下，有条件的概率有概率为零。 信仰修订理论的见解已被用于建造非标准概率的概率，其中还可以在该限制案例中进行条件化（Makinson 2011）。