Reasoning about manipulation in multi-agent systems - GREYC mad Access content directly
Journal Articles Journal of Applied Non-Classical Logics Year : 2022

Reasoning about manipulation in multi-agent systems


In many applications, selfish, dishonest or malicious agents may find an interest in manipulating others. While many works deal with designing robust systems or designing 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 at first a general definition of manipulation that can be applied in multi-agent systems. A manipulation is a deliberate effect of an agent (called a manipulator ) to instrumentalize another agent (called a victim), while making sure to conceal that effect. Secondly, we show how this definition is related with different fields in computer science where the concept of manipulation is studied. Finally, we present 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 and, we formally define manipulation. Furthermore, based on KBE, we express related notions such as coercion, persuasion, or deception and we show that these notions are different from manipulation.
Fichier principal
Vignette du fichier
Reasoning_about_Manipulation_in_Multi_Agent_Systems_Author_Version.pdf (572.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03793389 , version 1 (21-10-2022)



Christopher Leturc, Grégory Bonnet. Reasoning about manipulation in multi-agent systems. Journal of Applied Non-Classical Logics, 2022, 32 (2-3), pp.89-155. ⟨10.1080/11663081.2022.2124067⟩. ⟨hal-03793389⟩
71 View
96 Download



Gmail Facebook X LinkedIn More