Reasoning about manipulation in multi-agent systems
Christopher Leturc, Grégory Bonnet · Journal of Applied Non-Classical Logics · 2022
Selfish, dishonest or malicious agents may find an interest in manipulating others. While many works deal with designing robust systems or manipulative strategies, few works are interested in defining in a broad sense what is a manipulation and how we can reason with such a notion. In this article, based on a social science literature, we give a general definition of manipulation for multi-agent systems. A manipulation is a deliberate effect of an agent – called manipulator – to instrumentalize another agent – called victim – while making sure to conceal that effect. We present then a logical framework, called KBE, to express and reason about manipulations. Since manipulation relies on deliberate effects, KBE introduces a deliberate BIAT operator which abstracts deliberate consequences of actions. We prove that this logic is sound and complete. Furthermore,we express related notions such as coercion, persuasion, or deception.