Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
See [17, Chap. 1] for more on mathematical distances.
- 2.
Note that several further constraints can be imposed, for instance one can require that any agent c playing the middleman for a and b should be fully connected to the agents she will ‘introduce’ (\({S}ac, {S}ca, {S}cb, {S}bc\)).
- 3.
In any possible world, the distance between any agent and herself is 0.
- 4.
Both \(\mathsf {P}\) and \(\theta \) are commonly known, so a knows \(\mathsf {Q}\) is enough to make her differences with b smaller than \(\theta \).
- 5.
In fact, one can see our proposal in this paper as a necessary first step towards that goal, as the formal grounds for both systems need to be settled before looking at their interaction.
References
Crisp, R.J.: Social Psychology: A Very Short Introduction. OUP, Oxford (2015)
Easley, D., Kleinberg, J.: Networks, Crowds and Markets: Reasoning about a Highly Connected World. CUP, New York (2010)
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)
van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Epistemic protocols for dynamic gossip. J. Appl. Log. 20, 1–31 (2017)
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)
Baltag, A.: Logics for insecure communication. In: van Benthem, J., (ed.) Proceedings of the TARK 2001. Morgan Kaufmann, pp. 111–122 (2001)
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)
Liu, F., Seligman, J., Girard, P.: Logical dynamics of belief change in the community. Synthese 191(11), 2403–2431 (2014)
Zhen, L., Seligman, J.: A logical model of the dynamics of peer pressure. Electron. Notes Theoret. Comput. Sci. 278, 275–288 (2011)
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)
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)
Christoff, Z., Hansen, J.U., Proietti, C.: Reflecting on social influence in networks. J. Logic Lang. Inform. 25(3–4), 299–333 (2016)
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)
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)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2008)
van Benthem, J.: Logical Dynamics of Information and Interaction. CUP, New York (2011)
Deza, M.M., Deza, E.: Encyclopedia of Distances. Springer, Berlin Heidelberg (2009)
Carrington, R.: Learning and knowledge in social networks. Master’s thesis, ILLC (2013)
Plaza, J.A.: Logics of public communications. Synthese 158(2), 165–179 (2007)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inform. 6(2), 147–169 (1997)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
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)
Dunbar, R.I.M.: Neocortex size as a constraint on group size in primates. J. Hum. Evol. 22(6), 469–493 (1992)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer-Verlag GmbH Germany
About this paper
Cite this paper
Smets, S., Velázquez-Quesada, F.R. (2017). How to Make Friends: A Logical Approach to Social Group Creation. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_26
Download citation
DOI: https://doi.org/10.1007/978-3-662-55665-8_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55664-1
Online ISBN: 978-3-662-55665-8
eBook Packages: Computer ScienceComputer Science (R0)
