A Closeness- and Priority-Based Logical Study of Social Network Creation

This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents (in terms of the number of traits they have in common); then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates’ effects.

[1]  M. McPherson,et al.  Birds of a Feather: Homophily in Social Networks , 2001 .

[2]  Steffen Staab,et al.  On the Influence of Description Logics Ontologies on Conceptual Similarity , 2008, EKAW.

[3]  Alexandru Baltag,et al.  Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks , 2018, Stud Logica.

[4]  A. Tversky,et al.  Similarity of rectangles: An analysis of subjective dimensions , 1975 .

[5]  Yan Zhang,et al.  Knowledge updates: Semantics and complexity issues , 2005, Artif. Intell..

[6]  Alexandru Baltag,et al.  Group Knowledge in Interrogative Epistemology , 2018 .

[7]  Fernando R. Velázquez-Quesada,et al.  A logical study of group-size based social network creation , 2019, J. Log. Algebraic Methods Program..

[8]  Anni-Yasmin Turhan,et al.  A Framework for Semantic-based Similarity Measures for ELH-Concepts , 2012 .

[9]  Wesley H. Holliday.  Dynamic Testimonial Logic , 2009, LORI.

[10]  Yanjing Wang,et al.  Logic of Information Flow on Communication Channels , 2010, DALT.

[11]  Zoé Christoff,et al.  A logic for diffusion in social networks , 2015, J. Appl. Log..

[12]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[13]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[14]  Franz Baader.  Description Logics , 2009, Reasoning Web.

[15]  Johan van Benthem.  Logical Dynamics of Information and Interaction: Questions and issue management , 2011 .

[16]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[17]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[18]  Fernando R. Velázquez-Quesada,et al.  Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents , 2015, AAMAS.

[19]  Alexander Borgida,et al.  Towards Measuring Similarity in Description Logics , 2005, Description Logics.

[20]  Floor Sietsma,et al.  Message passing in a dynamic epistemic logic setting , 2011, TARK XIII.

[21]  R. Horton,et al.  Is actual similarity necessary for attraction? A meta-analysis of actual and perceived similarity , 2008 .

[22]  Elena Deza,et al.  Encyclopedia of Distances , 2014 .

[23]  Mohua Banerjee,et al.  Logic and Its Applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings , 2011 .

[24]  Isabelle Bloch,et al.  Morphologic for knowledge dynamics: revision, fusion, abduction , 2018, ArXiv.

[25]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[26]  Jeremy Seligman,et al.  The Dynamics of Peer Pressure , 2011, LORI.

[27]  Katarzyna Musial,et al.  Social Network Analysis in Applications , 2016, AI Commun..

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

[29]  Fernando R. Velázquez-Quesada,et al.  The Creation and Change of Social Networks: A Logical Study Based on Group Size , 2017, DALI@TABLEAUX.

[30]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[31]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[32]  Fernando R. Velázquez-Quesada,et al.  How to Make Friends: A Logical Approach to Social Group Creation , 2017, LORI.

[33]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[34]  A. Tversky.  Features of Similarity , 1977 .

[35]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[36]  H. K. Kim.  Rational Consensus in Science and Society: A Philosophical and Mathematical Study: Keith Lehrer and Carl Wagner London: Reidel, 1981, 165 pages, $26 , 1985 .

[37]  J. French.  A formal theory of social power. , 1956, Psychology Review.

[38]  D. Dolinski,et al.  Social Influence , 2007 .

[39]  Helen Armstrong,et al.  Social Network Analysis with Applications , 2013 .

[40]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

[41]  Alexandru Baltag,et al.  Logical Models of Informational Cascades , 2013 .

[42]  Fernando R. Velázquez-Quesada,et al.  Reliability-based preference dynamics: lexicographic upgrade , 2017, J. Log. Comput..

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

[44]  D Byrne,et al.  Magnitude of positive and negative reinforcements as a determinant of attraction. , 1965, Journal of personality and social psychology.

[45]  Isabelle Bloch,et al.  Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics , 2015, Artif. Intell..

[46]  Robin R. Vallacher,et al.  Social Influence and Group Dynamics , 2003 .

[47]  Anni-Yasmin Turhan,et al.  A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts , 2012, JELIA.

[48]  E. David,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World , 2010 .

[49]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[50]  Longfei Jin,et al.  Description Logic을 이용한 전자카타로그 온톨로지 모델링 , 2005 .

[51]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[52]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Contents , 2014 .

[53]  David H. Krantz,et al.  The dimensional representation and the metric structure of similarity data , 1970 .

[54]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[55]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[56]  Carlo Proietti,et al.  Reflecting on Social Influence in Networks , 2016, J. Log. Lang. Inf..

[57]  Christopher Winship,et al.  Homophily and the Focused Organization of Ties , 2011 .

[58]  Chris Arney,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World (Easley, D. and Kleinberg, J.; 2010) [Book Review] , 2013, IEEE Technology and Society Magazine.

[59]  A. Tversky,et al.  Foundations of multidimensional scaling. , 1968, Psychological review.

[60]  L. S. Shapley,et al.  College Admissions and the Stability of Marriage , 2013, Am. Math. Mon..

[61]  Isabelle Bloch,et al.  Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations , 2014, ECAI.

[62]  Ernesto Estrada,et al.  The Structure of Complex Networks: Theory and Applications , 2011 .

[63]  Marija Slavkovik,et al.  Formal Models of Conflicting Social Influence , 2017, PRIMA.

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