多智能体系统中的知识：初始化和广播
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast
摘要：
由于Halpern和Moses的知识模态逻辑的语义框架提供了一种将知识归于分布式和多智能体系统中的智能体的方法。在本文中，我们研究这个框架的两个特殊情况：全系统和超立方体。这两种模型都是静态的情况，在这种情况下，没有代理人有任何关于另一个代理人状态的信息。全系统和超立方体是许多感兴趣的系统的初始配置的适当模型。我们建立了满系统和超立方体系统与某些类别的Kripke框架之间的对应关系。我们表明，这些类的系统对应于相同的逻辑。此外，这个逻辑也是由更大类的弱有向框架所产生的逻辑。我们提供了一个健全的和完整的公理化，S5WDn，这个逻辑。最后，我们表明，在某些自然的假设下，在一个模型中，知识随着时间的推移而演变，S5WDn特征的知识的属性不仅在初始配置，而且在所有后来的配置。特别是，这适用于同质广播系统，它捕获设置，其中代理人最初不知道对方的本地状态，同步操作，具有完美的回忆，只能通过广播进行通信。
英文摘要：
The semantic framework for the modal logic of knowledge due to Halpern and Moses provides a way to ascribe knowledge to agents in distributed and multi-agent systems. In this paper we study two special cases of this framework: full systems and hypercubes. Both model static situations in which no agent has any information about another agent's state. Full systems and hypercubes are an appropriate model for the initial configurations of many systems of interest. We establish a correspondence between full systems and hypercube systems and certain classes of Kripke frames. We show that these classes of systems correspond to the same logic. Moreover, this logic is also the same as that generated by the larger class of weakly directed frames. We provide a sound and complete axiomatization, S5WDn, of this logic. Finally, we show that under certain natural assumptions, in a model where knowledge evolves over time, S5WDn characterizes the properties of knowledge not just at the initial configuration, but also at all later configurations. In particular, this holds for homogeneous broadcast systems, which capture settings in which agents are initially ignorant of each others local states, operate synchronously, have perfect recall and can communicate only by broadcasting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
