Skip to Main content Skip to Navigation
Conference papers

A Deliberate BIAT Logic for Modeling Manipulations

Christopher Leturc 1 Grégory Bonnet 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Abstract : In many applications, selfish, dishonest or malicious agents may find an interest in manipulating others. While many works deal with designing robust systems, few works deal with logical reasoning about manipulation. Based on social science literature, we propose a new logical framework to express and reason about manipulation , defined as a deliberate effect to instrumentalize a victim while making sure to conceal that instrumentalization. Since manipulation relies on deliberate effects of a manipulator, we propose a new BIAT operator to catch deliberate effects. We first prove that this logical framework is sound and complete. Then we formally define manipulation and we show our logical framework also expresses related notions such as coercion, persuasion, or deception.
Document type :
Conference papers
Complete list of metadatas

Cited literature [46 references]  Display  Hide  Download
Contributor : Grégory Bonnet <>
Submitted on : Friday, June 19, 2020 - 10:40:53 AM
Last modification on : Wednesday, October 14, 2020 - 4:07:23 AM


Publisher files allowed on an open archive


  • HAL Id : hal-02874780, version 1


Christopher Leturc, Grégory Bonnet. A Deliberate BIAT Logic for Modeling Manipulations. 19th International Conference on Autonomous Agents and Multiagent Systems, May 2020, Auckland, New Zealand. ⟨hal-02874780⟩



Record views


Files downloads