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: Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, 2020-7-11 - 2020-7-17.

[img] Text
main.pdf - Author Accepted Manuscript

Download (273kB) | Preview

Abstract

<jats:p>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.</jats:p>

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 28 Apr 2020 09:29
Last Modified: 15 Mar 2024 11:37
DOI: 10.24963/ijcai.2020/30
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3085008