研究群体知识与信念在拓扑证据模型中的形式化，给出完整公理系统。
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
- 用拓扑语义扩展个体证据信念到群体层面
- 证明了群体证据逻辑的完备性与可判定性
- 支持动态共享证据，且与静态逻辑等价
我们在多智能体证据模型中研究了（虚拟）群体知识与群体信念的概念，通过将个体证据信念的拓扑语义扩展至群体层面。我们为（硬性与软性）群体证据逻辑给出了完整的公理系统，并证明其可判定性；对其中一个重要片段——群体知识与群体信念逻辑——也完成了相同工作。此外，我们还引入了动态证据共享算子，对相应逻辑进行了完全公理化，并证明其与静态基础逻辑具有等价表达能力。
原文摘要 · Abstract (English)
We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely axiomatize and show the decidability of the logic of ("hard" and "soft") group evidence, and do the same for an especially interesting fragment of it: the logic of group knowledge and group belief. We also extend these languages with dynamic evidence-sharing operators, and completely axiomatize the corresponding logics, showing that they are co-expressive with their static bases.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。