信仰修订的逻辑（完结）

8.4贝叶斯型号

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

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