Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory

Van der Hoek, Wiebe ORCID: 0000-0003-0721-0310, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Wang, Yi (2020) Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020-7-11 - 2020-7-17.

Text main.pdf - Author Accepted Manuscript Download (273kB) | Preview

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.

Item Type:	Conference Item (Unspecified)
Uncontrolled Keywords:	5003 Philosophy, 50 Philosophy and Religious Studies
Depositing User:	Symplectic Admin
Date Deposited:	28 Apr 2020 09:29
Last Modified:	16 Jun 2026 07:33
DOI:	10.24963/ijcai.2020/30
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3085008
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.