ABSTRACT

Logic and Computation of Social Behavior

Following the recent development in which logical methods can be applied to the formal analysis of social networks, I present work on the use of logic to study social influence and herd behavior in epistemic social networks. In such networks, we first consider agents who adopt a new fashion or behavior depending on whether a "sufficiently large enough group" of their neighbors already has adopted the behavior. We provide different types of models as well as a simple qualitative modal language to reason about the concept of a "strong enough" trigger of influence. Using fixed-point operators in our logic, important results from network theory about the characterization of informational cascades follow immediately from our logical axioms. Unfolding the influence dynamics in an epistemic social network allows us to characterize the epistemic conditions under which the dynamic diffusion process can speed up or slow down. The results presented in this talk are based on on-going joint work with Alexandru Baltag at the University of Amsterdam in [1] and on the paper in [2]. [1] Alexandru Baltag and Sonja Smets. Logic goes viral: Modalities for Social Networks, Manuscript in preparation, 2025. [2] Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets, Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks, Studia Logica, June 2019, Volume 107 (3), pp 489-531.

SHORT BIO:

Sonja Smets is professor of Logic and Epistemology at both the Faculty of Science and the Faculty of Humanities at the University of Amsterdam. She established herself as an expert in the domain of non-classical Philosophical Logic, and especially its applications to the logical-philosophical foundations of quantum mechanics, and to the reasoning about knowledge and belief in formal epistemology and in multiagent systems. She is a member of the Royal Netherlands Academy of Arts and Sciences (KNAW) and won the Birkhoff-Von Neumann Prize in 2012.

Smets is the former director of the ILLC, the vice-president of the International Quantum Structures association and the current president of FOLLI, The Association for Logic, Language and Information.

Please click here to register via Zoom!
This is currently planned as a Zoom meeting, but will be converted to a webinar prior to the event.