PP-2015-22: Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks

PP-2015-22: Baltag, Alexandru and Christoff, Zoé and Rendsvig, Rasmus K. and Smets, Sonja (2015) Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (591kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


We take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this adoption policy, threshold models develop dynamically towards a guaranteed fixed point. We construct a minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and complete. We then extend this framework with an epistemic dimension and investigate how information about more distant neighbors' behavior allows agents to anticipate changes in behavior of their closer neighbors. Overall, our logical formalism captures the interplay between the epistemic and social dimensions in social networks.

Item Type: Report
Report Nr: PP-2015-22
Series Name: Prepublication (PP) Series
Year: 2015
Uncontrolled Keywords: social network theory, threshold models, diffusion in networks, social epistemology, formal epistemology, dynamic epistemic logic, opinion dynamics, opinion dynamics under uncertainty
Subjects: Logic
Depositing User: Christoff
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/533

Actions (login required)

View Item View Item