Influencing Choices by Changing Beliefs: A Logical Theory of Influence, Persuasion, and Deception

We model persuasion, viewed as a deliberate action through which an agent (persuader) changes the beliefs of another agent’s (persuadee). This notion of persuasion paves the way to express the idea of persuasive influence, namely inducing a change in the choices of the persuadee by changing her beliefs. It allows in turns to express different aspects of deception. To this end, we propose a logical framework that enables expressing actions and capabilities of agents, their mental states (desires, knowledge and beliefs), a variety of agency operators as well as the connection between mental states and choices. Those notions, once combined, enable us to capture, the notion of influence, persuasion and deception, as well as their relation.