Distributed knowledge
Distributed knowledge
复制标题
分布式知识
DOI：
10.3166/jancl.17.255-273
复制
发表时间：
2007
影响因子：
--
通讯作者：
F. Roelofsen
中科院分区：
文献类型：
--
作者：
F. Roelofsen
本文提供了一个完整的表征认知模型，其中分布式知识符合充分沟通的原则（货车德胡克等人，1999; Gerbrandy，1999）。它还介绍了一个扩展的概念互模拟和相应的模型比较游戏相匹配的分布式知识运营商的表达能力。
This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication (van der Hoek et al., 1999; Gerbrandy, 1999). It also introduces an extended notion of bisimulation and corresponding model comparison games that match the expressive power of distributed knowledge operators.