论文标题
知识和简单络合物
Knowledge and simplicial complexes
论文作者
论文摘要
简单的复合物是一种通用且方便的范式,可以在其上构建知识逻辑的所有工具和技术,假设可以以分布式方式描述初始认知模型。因此,我们可以定义:知识,信念,三拟合,相互分布和常识的群体概念,以及简单作用模型形式的动态。我们对如何解释有关简单络合物的所有这些观念的调查,这是基于Goubault和其他人在先前工作中奠定的基础的基础。
Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion. Thus, we can define: knowledge, belief, bisimulation, the group notions of mutual, distributed and common knowledge, and also dynamics in the shape of simplicial action models. We give a survey on how to interpret all such notions on simplicial complexes, building upon the foundations laid in prior work by Goubault and others.