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

Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng

IJCAI 2020 pp. 210-216

doi:10.24963/IJCAI.2020/30 /ijcai/2020/vanderhoek2020ijcai-logics/

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.

PDF IJCAI Semantic Scholar

Cite

Text

van der Hoek et al. "Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/30

Markdown

[van der Hoek et al. "Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/vanderhoek2020ijcai-logics/) doi:10.24963/IJCAI.2020/30

BibTeX

@inproceedings{vanderhoek2020ijcai-logics,
  title     = {{Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory}},
  author    = {van der Hoek, Wiebe and Kuijer, Louwe B. and Wáng, Yì N.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {210-216},
  doi       = {10.24963/IJCAI.2020/30},
  url       = {https://mlanthology.org/ijcai/2020/vanderhoek2020ijcai-logics/}
}