逻辑学9月23日学术报告会

地点：新斋335.

1:30-3:30 pm

Speaker: Patrick Girard （新西兰奥克兰大学）

Title: Logic in the Communities

3：30- 5:30 pm

Speaker: Ji Ruan （澳大利亚 新南威尔士大学）

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

Abstract: In this talk, I will present a formal framework foranalysing 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/