How to Make Friends: A Logical Approach to Social Group Creation

  • Sonja Smets
  • Fernando R. Velázquez-QuesadaEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10455)


This paper studies the logical features of social group creation. We focus on the mechanisms which indicate when agents can form a team based on the correspondence in their set of features (behavior, opinions, etc.). Our basic approach uses a semi-metric on the set of agents, which is used to construct a network topology. Then it is extended with epistemic features to represent the agents’ epistemic states, allowing us to explore group-creation alternatives where what matters is not only the agent’s differences but also what they know about them. We use tools of dynamic epistemic logic to study the properties of different strategies to network formations.


  1. 1.
    Crisp, R.J.: Social Psychology: A Very Short Introduction. OUP, Oxford (2015)CrossRefGoogle Scholar
  2. 2.
    Easley, D., Kleinberg, J.: Networks, Crowds and Markets: Reasoning about a Highly Connected World. CUP, New York (2010)CrossRefzbMATHGoogle Scholar
  3. 3.
    Wang, Y., Sietsma, F., van Eijck, J.: Logic of information flow on communication channels. In: Grossi, D., Kurzen, L., Velázquez-Quesada, F.R. (eds.) Logic and Interactive RAtionality. Seminar’s yearbook 2009. ILLC, pp. 226–245 (2010)Google Scholar
  4. 4.
    van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Epistemic protocols for dynamic gossip. J. Appl. Log. 20, 1–31 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    van Eijck, J., Sietsma, F.: Message-generated kripke semantics. In Sonenberg, L., Stone, P., Tumer, K., Yolum, P. (eds.): AAMAS 2011, IFAAMAS, pp. 1183–1184 (2011)Google Scholar
  6. 6.
    Baltag, A.: Logics for insecure communication. In: van Benthem, J., (ed.) Proceedings of the TARK 2001. Morgan Kaufmann, pp. 111–122 (2001)Google Scholar
  7. 7.
    Apt, K.R., Grossi, D., van der Hoek, W.: Epistemic protocols for distributed gossiping. In: Ramanujam, R. (ed.) Proceedings of the TARK 2015, EPTCS, pp. 51–66 (2015)Google Scholar
  8. 8.
    Liu, F., Seligman, J., Girard, P.: Logical dynamics of belief change in the community. Synthese 191(11), 2403–2431 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Zhen, L., Seligman, J.: A logical model of the dynamics of peer pressure. Electron. Notes Theoret. Comput. Sci. 278, 275–288 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Baltag, A., Christoff, Z., Hansen, J.U., Smets, S.: Logical models of informational cascades. In: van Benthem, J., Liu, F. (eds.) Logic Across the University: Foundations and Applications, pp. 405–432. College Publications, London (2013)Google Scholar
  11. 11.
    Ghosh, S., Velázquez-Quesada, F.R.: Agreeing to agree: reaching unanimity via preference dynamics based on reliable agents. In: Weiss, G., Yolum, P., Bordini, R.H., Elkind, E. (eds.) Proceedings of the AAMAS, pp. 1491–1499. ACM (2015)Google Scholar
  12. 12.
    Christoff, Z., Hansen, J.U., Proietti, C.: Reflecting on social influence in networks. J. Logic Lang. Inform. 25(3–4), 299–333 (2016)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Baltag, A., Christoff, Z., Rendsvig, R.K., Smets, S.: Dynamic epistemic logics of diffusion and prediction in social networks (extended abstract). In: Bonanno, G., van der Hoek, W., Perea, A. (eds.) Proceedings of the LOFT 2016 (2016)Google Scholar
  14. 14.
    Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.): Proceedings of the TARK-98, pp. 43–56 (1998)Google Scholar
  15. 15.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2008)zbMATHGoogle Scholar
  16. 16.
    van Benthem, J.: Logical Dynamics of Information and Interaction. CUP, New York (2011)CrossRefzbMATHGoogle Scholar
  17. 17.
    Deza, M.M., Deza, E.: Encyclopedia of Distances. Springer, Berlin Heidelberg (2009)CrossRefzbMATHGoogle Scholar
  18. 18.
    Carrington, R.: Learning and knowledge in social networks. Master’s thesis, ILLC (2013)Google Scholar
  19. 19.
    Plaza, J.A.: Logics of public communications. Synthese 158(2), 165–179 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inform. 6(2), 147–169 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)zbMATHGoogle Scholar
  22. 22.
    Solaki, A., Terzopoulou, Z., Zhao, B.: Logic of closeness revision: challenging relations in social networks. In: Köllner, M., Ziai, R. (eds.) Proceedings ESSLLI 2016 student session, pp. 123–134 (2016)Google Scholar
  23. 23.
    Dunbar, R.I.M.: Neocortex size as a constraint on group size in primates. J. Hum. Evol. 22(6), 469–493 (1992)CrossRefGoogle Scholar
  24. 24.
    Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.): Logic and the Foundations of Game and Decision Theory, pp. 13-60. AUP (2008)Google Scholar

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversiteit van AmsterdamAmsterdamThe Netherlands

Personalised recommendations