Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

Standard

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. / Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus Kræmmer; Smets, Sonja.

I: Studia Logica: An International Journal for Symbolic Logic, Bind 107, Nr. 3, 2019, s. 489-531.

Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

Harvard

Baltag, A, Christoff, Z, Rendsvig, RK & Smets, S 2019, 'Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks', Studia Logica: An International Journal for Symbolic Logic, bind 107, nr. 3, s. 489-531. https://doi.org/10.1007/s11225-018-9804-x

APA

Baltag, A., Christoff, Z., Rendsvig, R. K., & Smets, S. (2019). Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Studia Logica: An International Journal for Symbolic Logic, 107(3), 489-531. https://doi.org/10.1007/s11225-018-9804-x

Vancouver

Baltag A, Christoff Z, Rendsvig RK, Smets S. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Studia Logica: An International Journal for Symbolic Logic. 2019;107(3):489-531. https://doi.org/10.1007/s11225-018-9804-x

Author

Baltag, Alexandru ; Christoff, Zoé ; Rendsvig, Rasmus Kræmmer ; Smets, Sonja. / Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. I: Studia Logica: An International Journal for Symbolic Logic. 2019 ; Bind 107, Nr. 3. s. 489-531.

Bibtex

@article{c2f277b6d4c84063b7b15b432cc0aed9,
title = "Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks",
abstract = "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 diffusion 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{\textquoteright} 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.",
keywords = "Faculty of Humanities, Social network theory, Threshold models, Diffusion in networks, Social epistemology, Formal epistemology, Dynamic epistemic logic, Opinion dynamics, Opinion dynamics under uncertainty",
author = "Alexandru Baltag and Zo{\'e} Christoff and Rendsvig, {Rasmus Kr{\ae}mmer} and Sonja Smets",
year = "2019",
doi = "10.1007/s11225-018-9804-x",
language = "English",
volume = "107",
pages = "489--531",
journal = "Studia Logica: An International Journal for Symbolic Logic",
issn = "0039-3215",
publisher = "Springer",
number = "3",

}

RIS

TY - JOUR

T1 - Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

AU - Baltag, Alexandru

AU - Christoff, Zoé

AU - Rendsvig, Rasmus Kræmmer

AU - Smets, Sonja

PY - 2019

Y1 - 2019

N2 - 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 diffusion 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.

AB - 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 diffusion 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.

KW - Faculty of Humanities

KW - Social network theory

KW - Threshold models

KW - Diffusion in networks

KW - Social epistemology

KW - Formal epistemology

KW - Dynamic epistemic logic

KW - Opinion dynamics

KW - Opinion dynamics under uncertainty

U2 - 10.1007/s11225-018-9804-x

DO - 10.1007/s11225-018-9804-x

M3 - Journal article

VL - 107

SP - 489

EP - 531

JO - Studia Logica: An International Journal for Symbolic Logic

JF - Studia Logica: An International Journal for Symbolic Logic

SN - 0039-3215

IS - 3

ER -

ID: 208822833