Date: Friday, 23 September, 2011
Location: 清华新斋335
1:30-3:30 PM
Speaker: Patrick Girard
Department of Philosophy, The University of Auckland
Title: Logic in the Communities
Photo Update:
3：30- 5:30 PM
Speaker: Ji Ruan
School of Computer Science and Engineering, The University of New South Wales
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)
Photo Update:
More photos:
http://www.flickr.com/photos/jiruan/sets/72157627753995408/
Related posts:
- Conference paper: A Logic for Knowledge Flow in Social Networks Title: A Logic for Knowledge Flow in Social Networks Authors: Ji Ruan...
Related posts brought to you by Yet Another Related Posts Plugin.
No Comments
You must be logged in to post a comment.
