{"type":"ScholarlyArticle","title":"Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory","authors":[{"name":"Wiebe Van der Hoek","slug":"wiebe-van-der-hoek","given":"Wiebe","family":"van der Hoek","affiliation":"University of Liverpool"},{"name":"Louwe Kuijer","slug":"louwe-kuijer","given":"Louwe","family":"Kuijer","affiliation":"University of Liverpool"},{"name":"Yì Wáng","slug":"yi-wang","given":"Yi","family":"Wang","affiliation":"Zhejiang University"}],"abstract":"We combine social balance theory with temporal logic to obtain a Logic of Allies and Enemies (LAE), which formally describes the likely changes to a social network due to social pressure. We demonstrate how the rich language of LAE can be used to describe various interesting concepts, and show that both model checking and validity checking are PSPACE-complete.","doi":"10.24963/ijcai.2020/30","url":"https://ijcai.org/proceedings/2020/30","pdf":"https://ijcai.org/proceedings/2020/0030.pdf","markdown":"https://ijcai.org/proceedings/2020/30.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/30","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Agent-based and Multi-agent Systems","track":"Main track","number":30,"pages":{"first":210,"last":216},"keywords":["Agent-based and Multi-agent Systems: Agent Societies","Multidisciplinary Topics and Applications: Social Sciences"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/24686/file_24686.m3u8","length_sec":266,"provider":"hls"}],"references":[{"position":1,"raw":"[Abell and Ludwig, 2009] Peter Abell and Mark Ludwig. Structural balance: A dynamic perspective. The Journal of Mathematical Sociology, 33(2):129-155, 2009.","title":"Structural balance: A dynamic perspective","authors":"Ludwig ; Abell, Peter Abell, Mark Ludwig","year":"2009","venue":"The Journal of Mathematical Sociology","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Antal et al., 2006] Tibor Antal, Paul L. Krapivsky, and Sid- ney Redner. Social balance on networks: The dynamics of friendship and enmity. Physica D: Nonlinear Phenomena, 224(1-2):130-136, December 2006.","title":"Social balance on networks: The dynamics of friendship and enmity","authors":"Antal","year":"2006","venue":"Physica D: Nonlinear Phenomena","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baltag et al., 2019] Alexandru Baltag, Zoé Christoff, Ras- mus K. Rendsvig, and Sonja Smets. Dynamic epistemic logics of diffusion and prediction in social networks. Stu- dia Logica, 107(3):489-531, 2019.","title":"Dynamic epistemic logics of diffusion and prediction in social networks","authors":"Alexandru Baltag, Zoé Christoff, K Rasmus, Sonja Rendsvig, Smets","year":"2019","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cartwright and Harary, 1956] Dorwin Cartwright and Frank Harary. Structure balance: A generalization of Heider's theory. Psychological Review, 63(5):277-293, September 1956.","title":"Structure balance: A generalization of Heider's theory","authors":"Harary Cartwright, Dorwin Cartwright, Frank Harary","year":"1956","venue":"Psychological Review","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Christoff and Hansen, 2015] Zoé Christoff and Jens Ulrik Hansen. A logic for diffusion in social networks. Jour- nal of Applied Logic, 13(1):48 -77, 2015.","title":"A logic for diffusion in social networks","authors":"Hansen Christoff, Zoé Christoff, Jens Ulrik Hansen","year":"2015","venue":"Journal of Applied Logic","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Clarke and Emerson, 1981] Edmund M. Clarke and E. Allen Emerson. Design and synthesis of synchroniza- tion skeletons using branching time temporal logic. In Dexter Kozen, editor, Logics of Programs, pages 52-71, Berlin, Heidelberg, 1981. Springer Berlin Heidelberg.","title":"Design and synthesis of synchronization skeletons using branching time temporal logic","authors":"Edmund M Clarke, E Allen Emerson","year":"1981","venue":"Logics of Programs","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Doreian et al., 1996] Patrick Doreian, Roman Kapuscinski, David Krackhardt, and Janusz Szczypula. A brief history of balance through time. The Journal of Mathematical So- ciology, 21(1-2):113-131, 1996.","title":"A brief history of balance through time","authors":"Patrick Doreian, Roman Kapuscinski, David Krackhardt, Janusz Szczypula","year":"1996","venue":"The Journal of Mathematical Sociology","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Emerson and Clarke, 1982] E.Allen Emerson and Ed- mund M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2(3):241-266, 1982.","title":"Using branching time temporal logic to synthesize synchronization skeletons","authors":"E, Allen Emerson, Edmund M Clarke","year":"1982","venue":"Science of Computer Programming","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Harary et al., 1965] Frank Harary, Robert Z. Norman, and Dorwin Cartwright. Structural Models: An Introduction to the Theory of Directed Graphs. John Wiley & Sons Inc, New York, September 1965.","title":"Structural Models: An Introduction to the Theory of Directed Graphs","authors":"Frank Harary, Robert Z Norman, Dorwin Cartwright","year":"1965","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Harary, 1953] Frank Harary. On the notion of balance of a signed graph. Michigan Mathematical Journal, 2(2):143- 146, 1953.","title":"On the notion of balance of a signed graph","authors":"Frank Harary","year":"1953","venue":"Michigan Mathematical Journal","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Heider, 1944] Fritz Heider. Social perception and phenome- nal causality. Psychological Review, 51(6):358-374, 1944.","title":"Social perception and phenomenal causality","authors":"Fritz Heider, Heider","year":"1944","venue":"Psychological Review","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Heider, 1946] Fritz Heider. Attitudes and cognitive organi- zation. Journal of Psychology, 21(1):107-112, 1946.","title":"Attitudes and cognitive organization","authors":"Fritz Heider, Heider","year":"1946","venue":"Journal of Psychology","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Heider, 1958] Fritz Heider. The Psychology of Interper- sonal Relations. John Wiley & Sons, 1958.","title":"The Psychology of Interpersonal Relations","authors":"Fritz Heider","year":"1958","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Hummon and Doreian, 2003] Norman P Hummon and Patrick Doreian. Some dynamics of social balance processes: bringing Heider back into balance theory. Social Networks, 25(1):17-49, 2003.","title":"Some dynamics of social balance processes: bringing Heider back into balance theory","authors":"P Norman, Patrick Hummon, Doreian","year":"2003","venue":"Social Networks","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Kulakowski, 2007] Krzysztof Kulakowski. Some recent at- tempts to simulate the Heider balance problem. Comput- ing in Science and Engineering, 9:80-85, 06 2007.","title":"Some recent attempts to simulate the Heider balance problem","authors":"Krzysztof Kulakowski","year":"2007","venue":"Computing in Science and Engineering","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Newcomb, 1961] Theodore M. Newcomb. Acquaintance Process. Holt, Rinehart & Winston, New York, Decem- ber 1961.","title":"Acquaintance Process","authors":"M Theodore, Newcomb","year":"1961","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Pedersen et al., 2019] M.Y. Pedersen, Sonja Smets, and Thomas Ågotnes. Analyzing echo chambers: A logic of strong and weak ties. In Proceedings of LORI 2019, pages 183-198, 2019.","title":"Analyzing echo chambers: A logic of strong and weak ties","authors":"M Y Pedersen, Sonja Smets, Thomas Ågotnes","year":"2019","venue":"Proceedings of LORI 2019","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Radicchi et al., 2007] Filippo Radicchi, Daniele Vilone, Sooeyon Yoon, and Hildegard Meyer-Ortmanns. Social balance as a satisfiability problem of computer science. Physical Review E, 75:026106, Feb 2007.","title":"Social balance as a satisfiability problem of computer science","authors":"Filippo Radicchi, Daniele Vilone, Sooeyon Yoon, Hildegard Meyer-Ortmanns","year":"2007","venue":"Physical Review E","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Stockmeyer and Meyer, 1973] L. J. Stockmeyer and A. R. Meyer. Word problems requiring exponential time (pre- liminary report). In Proceedings of the Fifth Annual ACM Symposium on Theory of Computing, pages 1-9, 1973.","title":"Word problems requiring exponential time (preliminary report)","authors":"L J Stockmeyer, A R Meyer","year":"1973","venue":"Proceedings of the Fifth Annual ACM Symposium on Theory of Computing","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[van der Hoek et al., 2019] Wiebe van der Hoek, Louwe B. Kuijer, and Yì N. Wáng. Who should be my friends? so- cial balance from the perspective of game theory. In Pro- ceedings of LORI 2019, pages 370-384, 2019.","title":"Who should be my friends? social balance from the perspective of game theory","authors":"Hoek Van Der","year":"2019","venue":"Proceedings of LORI 2019","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Wang and Thorngate, 2003] Zhigang Wang and Warren Thorngate. Sentiment and social mitosis: Implications of Heider's balance theory. Journal of Artificial Societies and Social Simulation, 6(3):12-23, June 2003.","title":"Sentiment and social mitosis: Implications of Heider's balance theory","authors":"Zhigang Wang, Warren Thorngate","year":"2003","venue":"Journal of Artificial Societies and Social Simulation","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Xiong and Ågotnes, 2019] Zuojun Xiong and Thomas Ågotnes. On the logic of balance in social networks. Journal of Logic, Language and Information, 29:53-75, 2019.","title":"Zuojun Xiong and Thomas Ågotnes. On the logic of balance in social networks","authors":"Ågotnes Xiong","year":"2019","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Zheng et al., 2015] Xiaolong Zheng, Daniel Zeng, and Fei- Yue Wang. Social balance in signed networks. Information Systems Frontiers, 17(5):1077-1095, January 2015.","title":"Social balance in signed networks","authors":"Xiaolong Zheng, Daniel Zeng, Fei-Yue Wang","year":"2015","venue":"Information Systems Frontiers","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}