arXiv:2504.12546v1 公告类型: cross 摘要: 我们在公输布宣言逻辑的传统中正式化了匿名公共公告的概念。这样的公告可以被视为公共公告（“外部”发布的公告，即$\phi$的公告）和智能体之一发布的公共公告（即$K_a\phi$的公告）之间的中间状态：我们得到的信息不仅包括$\phi$，但不一定是确切的发布者身份。即便这样的公告表面上是匿名的，根据智能体的背景知识，它也可能揭示发布者的身份：如果我在留言板上发布一些内容，这些信息即使我不签上姓名，也可能揭示我是谁。此外，类似于俄罗斯扑克谜题的情况，如果假设发布者的意图是保持匿名，实际上它可能会泄露更多的信息。在这篇论文中，我们首先探讨没有对意图进行假设的情况，在这种情况下，带有匿名公共公告操作符的逻辑可以归约为epistemic逻辑。然后我们探讨假设基本知识中的意图是匿名的情况，这是更复杂和更有趣的情形：从多个方面来看，这归结为“安全”公告的概念（再次类似于俄罗斯扑克谜题）。主要结果包括对关键逻辑语言的正式表达能力和公理完备性结果。