IJCAI 2020poster0 citations
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory
Wiebe Van der Hoek, Louwe Kuijer, Yì Wáng
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.
Agent-based and Multi-agent Systems: Agent SocietiesMultidisciplinary Topics and Applications: Social Sciences
BibTeX
@inproceedings{ijcai2020p30,
title = {Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory},
author = {Van der Hoek, Wiebe and Kuijer, Louwe and Wáng, Yì},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-20}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Christian Bessiere},
pages = {210--216},
year = {2020},
month = {7},
note = {Main track},
doi = {10.24963/ijcai.2020/30},
url = {https://doi.org/10.24963/ijcai.2020/30},
}