容错分布式计算动态认知逻辑的单纯复形模型
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing
摘要：
多智能体系统的认知S5模型通常是一个Kripke图，它的边被标记为不区分两个状态的智能体。我们建议揭示隐含在Kripke图的高维信息，作为一个模型，它的对偶，色单纯复杂。对于Kripke模型的每个状态，复合体中都有一个小面，每个代理有一个顶点。如果一条边（u，v）被标记为一组施体S，则对应于u和v的小平面相交于一个单纯形，该单纯形由S的每个施体的一个顶点组成。然后，我们使用动态认知逻辑来研究如何简单复杂的认知模型的变化后，代理人相互沟通。我们发现，有拓扑不变量保留从初始的认知复合体的认知复合体后，应用的行动模型，这取决于如何可靠的通信。反过来，这些拓扑性质决定了代理在通信发生后可能获得的知识。
英文摘要：
The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in the Kripke graph, by using as a model its dual, a chromatic simplicial complex. For each state of the Kripke model there is a facet in the complex, with one vertex per agent. If an edge (u,v) is labeled with a set of agents S, the facets corresponding to u and v intersect in a simplex consisting of one vertex for each agent of S. Then we use dynamic epistemic logic to study how the simplicial complex epistemic model changes after the agents communicate with each other. We show that there are topological invariants preserved from the initial epistemic complex to the epistemic complex after an action model is applied, that depend on how reliable the communication is. In turn these topological properties determine the knowledge that the agents may gain after the communication happens.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
