On Help and Interpersonal Control

Bottazzi, Emanuele; Troquard, Nicolas

doi:10.1007/978-3-319-21732-1_1

Cited by 2 publications

(2 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From a general point-of-view, modal logics allow us to explicitly describe notions of intention, belief and knowledge that are fundamental to manipulations. Several logical approaches have already studied similar notions such as social influence (Bottazzi & Troquard, 2015;Lorini & Sartor, 2016;Santos & Carmo, 1996), lying and deception (Sakama et al, 2015;Van Ditmarsch et al, 2012). In this section, since manipulation is a deliberate instrumentalization with concealment, we survey related works in literature about how to represent concealment (van der Hoek, Iliev, & Wooldridge, 2012) and deliberate effects (Broersen, 2008).…”

Section: Formalizing Manipulationmentioning

confidence: 99%

See 1 more Smart Citation

Reasoning about manipulation in multi-agent systems

Leturc

Bonnet

2022

Journal of Applied Non-Classical Logics

View full text Add to dashboard Cite

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.

show abstract

Section: Formalizing Manipulationmentioning

confidence: 99%

“…For its part, BIAT logics define influence similarly as the effect of an agent i to bring it about that another agent j brings about something. For instance, Bottazzi and Troquard (2015) considers the following predicate to define influence which is called interpersonal control :…”

Section: Representing Influencementioning

confidence: 99%