(Mar. 20) Resolving Distributed Knowledge
Last updated :2017-03-20Topic: Resolving Distributed Knowledge
Speaker: Prof. Thomas Ågotnes (University of Bergen, Norway)
Moderator: Prof. LIU Yongmei
Time: 4:30-5:30 pm, Monday, March 20, 2017
Venue: A201 Meeting Room, School of Data and Computer Science, Guangzhou East Campus, SYSU
The standard notion of distributed knowledge is sometimes described as what the members of the group would know of they "pool their knowledge together". This is inaccurate at best: for example, it is consistent that a group has distributed knowledge of a Moore sentence involving one of the members of the group (a sentence which cannot be known by that member, no matter how much "pooling" has taken place). In the talk I discuss a new group modality that actually captures what is true after the group have fully shared their information with each other -- after their distributed knowledge has been resolved. A key issue is the relationship between pooling and sharing: when does distributed knowledge become common knowledge? The talk is based on joint work with Yì N. Wáng.
Thomas Ågotnes is a Professor of Information Science and head of the Logic, Information and Interaction research group at the Department of Information Science and Media Studies, University of Bergen, Norway. He holds a PhD in Informatics from the same university. Hi is also a Visiting Professor at the Center for the Study of Language and Cognition, Zhejiang University, China. His main research interests include modal logics for reasoning about interaction, other formal models of interaction, and applications in the fields of artificial intelligence and multi-agent systems.