KM信念更新逻辑可被AGM信念修正逻辑包含，揭示两者深层关系。
The logic of KM belief update is contained in the logic of AGM belief revision
- 将KM信念更新公理映射为含三个模态算子的逻辑系统
- 证明KM逻辑所有公理均为AGM逻辑的定理，后者更强
- 差异仅存于对非意外信息的处理，适合逻辑与认知建模研究者
针对KM信念更新的每条公理，我们构造了一个包含三个模态算子的模态逻辑中的对应公理：单模态信念算子 $B$、双模态条件算子 $>$ 和单模态必然性算子 $oxdot$。随后将由此生成的逻辑 $/mathcal L_{KM}$ 与通过将AGM信念修正公理转换为模态公理得到的逻辑 $/mathcal L_{AGM}$ 进行比较，发现 $/mathcal L_{AGM}$ 包含 $/mathcal L_{KM}$。具体而言，$/mathcal L_{KM}$ 的每一条公理都是 $/mathcal L_{AGM}$ 的定理。因此，AGM信念修正可被视为KM信念更新的一个特例。对于强版本的KM信念更新，我们进一步表明，$/mathcal L_{KM}$ 与 $/mathcal L_{AGM}$ 之间的差别可归结为唯一一个仅涉及非意外信息（即初始未被否定的公式）的公理。
原文摘要 · Abstract (English)
For each axiom of KM belief update we provide a corresponding axiom in a modal logic containing three modal operators: a unimodal belief operator $B$, a bimodal conditional operator $>$ and the unimodal necessity operator $\square$. We then compare the resulting logic to the similar logic obtained from converting the AGM axioms of belief revision into modal axioms and show that the latter contains the former. Denoting the latter by $\mathcal L_{AGM}$ and the former by $\mathcal L_{KM}$ we show that every axiom of $\mathcal L_{KM}$ is a theorem of $\mathcal L_{AGM}$. Thus AGM belief revision can be seen as a special case of KM belief update. For the strong version of KM belief update we show that the difference between $\mathcal L_{KM}$ and $\mathcal L_{AGM}$ can be narrowed down to a single axiom, which deals exclusively with unsurprising information, that is, with formulas that were not initially disbelieved.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。