汉斯·范迪特马希
Hans van Ditmarsch:再论分布式知识
Distributed Knowledge Revisited ![]()
We review the history and some recent work on what is known since the 1990s as distributed knowledge. Such epistemic group notions are currently getting more and more attention both from the modal logical community and from distributed computing, in various settings with communicating processes or agents. The typical intuition is that if a knows p, and b knows that p implies q, then together they know that q: they have distributed knowledge of q. In order to get to know q they need to share their knowledge. We will discuss: (i) the complete axiomatization, (ii) why not everything that is distributed knowledge can become common knowledge, (iii) the notion of collective bisimulation, (iv) distributed knowledge for infinitely many agents, (v) the novel update called resolving distributed knowledge and some variations (and its incomparable update expressivity to action models), (vi) distributed knowledge that is stronger than the sum of individual knowledge (where the relation for the group of agents is strictly contained in their intersection), (vii) common distributed knowledge and its topological interpretations, (viii) dynamic distributed knowledge, a version of the semantics ensuring that what is distributed knowledge becomes common knowledge, and the axiomatization, expressivity and bisimulation characterization of this logic.
报告人：汉斯·范迪特马希（图卢兹大学、法国国家科研中心）![]()
时间：2024年11月7日(周四)16:00-17:30
地点：清华大学逻辑学研究中心
(蒙民伟人文楼 329)
![]()
关注我们，及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。
