Conference paper: A Logic for Knowledge Flow in Social Networks

Title: A Logic for Knowledge Flow in Social Networks

Authors: Ji Ruan and Michael Thielscher
School of Computer Science and Engineering, The University of New South Wales, Australia

Abstract: In this paper, we develop 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.

Accepted and presented at the 24th Australasian Joint Conference on Artificial Intelligence (AI2011), Perth Australia, December 2011.

Download:

• Springer
• Camera Ready Version.

Bibtex:

@inproceedings{DBLP:conf/ausai/RuanT11,
author = {Ji Ruan and
Michael Thielscher},
title = {A Logic for Knowledge Flow in Social Networks},
booktitle = {Australasian Conference on Artificial Intelligence},
year = {2011},
pages = {511-520},
ee = {http://dx.doi.org/10.1007/978-3-642-25832-9_52},
crossref = {DBLP:conf/ausai/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ausai/2011,
editor = {Dianhui Wang and
Mark Reynolds},
title = {AI 2011: Advances in Artificial Intelligence – 24th Australasian
Joint Conference, Perth, Australia, December 5-8, 2011.
Proceedings},
booktitle = {Australasian Conference on Artificial Intelligence},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7106},
year = {2011},
isbn = {978-3-642-25831-2},
ee = {http://dx.doi.org/10.1007/978-3-642-25832-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}

Related posts:

1. Conference paper: The Epistemic Logic Behind the Game Description Language Title: The Epistemic Logic Behind the Game Description Language Authors:...
2. Journal paper: Connecting Dynamic Epistemic and Temporal Epistemic Logics Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics Authors: H.P. van Ditmarsch,...

Related posts brought to you by Yet Another Related Posts Plugin.