2020
IJCAI
IJCAI 2020
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory
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.
🌉
Interdisciplinary Bridge
— Artificial Intelligence and Machine Learning
🐣
Hot Topic Early Bird
— temporal logic
🐝
Cross-Pollinator
— Artificial Intelligence, Computer Science, Computer Vision, Data Science & Analytics, Deep Learning, Healthcare & Medicine, Interdisciplinary, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Natural Language Processing, Reinforcement Learning, Robotics, Security & Privacy