地点：新斋335

1:30-3:30
Speaker: Patrick Girard
Title: Loigc in the Communities


3：30- 5:30
Speaker: Ji Ruan

Title: A Logic for Knowledge Flow in Social Networks （社交网络中的知识流的逻辑）

Abstract: In this talk, I will present a formal framework for
analysing the flow of information and knowledge through social
networks. More specifically, we propose a multi-agent epistemic logic
in which we can represent and reason about communicative actions based
on social networks and the resulting knowledge and ignorance of
agents. This logic is applied to formally analyse the "Revolt or
Stay-at-home" problem where social networks play an important role in
agents' knowledge acquisition and decision-making. We evaluate our
work by proving some mathematical properties of our new logic,
including the fact that it generalises the existing Logic of Public
Announcement. (This is a joint work with Prof. Michael Thielscher)

Paper Link:
http://ac.jiruan.net/2011/09/conference-paper-a-logic-for-knowledge-flow-in-social-networks/