Reasoning about opinion dynamics in social networks

This paper introduces a logic to reason about a well-known model of opinion dynamics in socialnetworks initially developed by Morris DeGroot as well as Keith Lehrer and Carl Wagner. The proposed logic is an extension of Lukasiewicz' famous fuzzy logic with additional equational expressivity, modal operators, machinery from hybrid logic, and dynamic modalities. The model of opinion dynamics in social networks is simple enough to be easily grasped, but still complex enough to have interesting mathematical properties and applications. Thus, developing a logic to reason about this particular model serves as a paradigmatic example of how logic can be useful in social network analysis.

[1]  E. Olsson.  A Bayesian Simulation Model of Group Deliberation and Polarization , 2013 .

[2]  E. Olsson.  A Simulation Approach to Veritistic Social Epistemology , 2011, Episteme.

[3]  Matthew O. Jackson,et al.  Naïve Learning in Social Networks and the Wisdom of Crowds , 2010 .

[4]  Carl G. Wagner,et al.  Allocation, Lehrer models, and the consensus of probabilities , 1982 .

[5]  C. Wagner,et al.  Rational Consensus in Science and Society , 1981 .

[6]  P. Lazarsfeld,et al.  6. Katz, E. Personal Influence: The Part Played by People in the Flow of Mass Communications , 1956 .

[7]  Fenrong Liu,et al.  Logic in the Community , 2011, ICLA.

[8]  Melvin Fitting,et al.  Many-valued modal logics , 1991, Fundam. Informaticae.

[9]  M. Degroot.  Reaching a Consensus , 1974 .

[10]  Eliot R. Smith,et al.  Situating Social Influence Processes: Dynamic, Multidirectional Flows of Influence Within Social Networks , 2007, Personality and social psychology review : an official journal of the Society for Personality and Social Psychology, Inc.

[11]  Rainer Hegselmann,et al.  Truth and Cognitive Division of Labour: First Steps Towards a Computer Aided Social Epistemology , 2006, J. Artif. Soc. Soc. Simul..

[12]  E. Rogers.  Diffusion of Innovations , 1962 .

[13]  Asuman E. Ozdaglar,et al.  Opinion Dynamics and Learning in Social Networks , 2010, Dyn. Games Appl..

[14]  R. Berger.  A Necessary and Sufficient Condition for Reaching a Consensus Using DeGroot's Method , 1981 .

[15]  Jeremy Seligman,et al.  A Logical Model of the Dynamics of Peer Pressure , 2011, M4M/LAMAS.

[16]  Melvin Fitting,et al.  Many-valued modal logics II , 1992 .

[17]  Patrick Blackburn,et al.  Arthur Prior and Hybrid Logic , 2006, Synthese.

[18]  D. Gabbay,et al.  Proof theory for fuzzy logics. Applied Logic Series, vol. 36 , 2010 .

[19]  Rainer Hegselmann,et al.  Opinion dynamics and bounded confidence: models, analysis and simulation , 2002, J. Artif. Soc. Soc. Simul..

[20]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[21]  K. Lehrer.  When Rational Disagreement is Impossible , 1976 .

[22]  Katsuhiko Sano,et al.  Dynamic Epistemic Logic for Channel-Based Agent Communication , 2013, ICLA.

[23]  D. Isenberg.  Group polarization: A critical review and meta-analysis. , 1986 .

[24]  I. Douven,et al.  Truth Approximation, Social Epistemology, and Opinion Dynamics , 2011 .