常见信念再访
人工智能
2026-02-18 v1
摘要
与常见信念相反，常见信念并非 KD4。如果个体信念是 KD45，那么常见信念确实会失去 5 的性质，但保留 D 和 4 的性质——且它没有其他被广泛考虑的知识与信念的性质。但它拥有另一个性质： ——对应所谓的移位自�性（自洁性提一个步骤）。这一观察引出一个问题：KD4 扩展于该公理是否能完整刻画 KD45 情况下的常见信念？如果不是，其"逻辑"是什么？本文证明，第一个问题的答案是"否"：还有一条额外公理，而且它依赖于代理人的数量。我们展示了结果是常见信念的完整刻画，解决了该开放问题。
引用
@article{arxiv.2602.15403,
title = {Common Belief Revisited},
author = {Thomas Ågotnes},
journal= {arXiv preprint arXiv:2602.15403},
year = {2026}
}