Speaker: Mina Young Pedersen (University of Bergen)
Date and Time: Thursday, October 17th 2024, 16:30-18:00
Venue: online
Title: Logics of malicious and abnormal behavior in social networks.
Abstract. This talk concerns agents in multi-agent systems who act out of the ordinary and/or maliciously for their own gain. Analyzing these types of agents can not only give us valuable information about agents’ potential power to disrupt, but also about the safety of systems in which they act. Specifically, I will talk about using modal logics for social networks to reason about malicious and abnormal behavior.
I will give an example of such a study where we use a temporal logic to follow a social network as it evolves through time. We see how one can use model checking to detect a particular type of agent, namely social bots, which are computer programs that act like human users on social media platforms.
The talk is based on joint work with Marija Slavkovik and Sonja Smets.