Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puzzle using Public Observation Logic, a system that allows epistemic update. We consider agents with roles in multiple sessions and the information update in all parallel sessions as new information is discovered in any particular session.
翻译:认知协议是当前备受关注的研究领域,仍有多种方法正在被探索。本文采用允许认知更新的公共观察逻辑,对泥孩难题的并行会话进行了形式化建模。我们考虑了在多个会话中担任角色的智能体,以及当任一特定会话中发现新信息时,所有并行会话中的信息更新过程。