On The Logic Of Lying

Abstract : We model lying as a communicative act changing the beliefs of the agents in a multi-agent system. With Augustine, we see lying as an utterance believed to be false by the speaker and uttered with the intent to deceive the addressee. The deceit is successful if the lie is believed after the utterance by the addressee. This is our perspective. Also, as common in dynamic epistemic logics, we model the agents addressed by the lie, but we do not (necessarily) model the speaker as one of those agents. This further simplifies the picture: we do not need to model the intention of the speaker, nor do we need to distinguish between knowledge and belief of the speaker: he is the observer of the system and his beliefs are taken to be the truth by the listeners. We provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes games such as Liar’s Dice interesting, and how lying is put to use in optimal strategies for playing the game. This is the opposite of the logical manipulative update: instead of always believing the utterance, now, it is never believed. We also give a matching logical analysis for the games perspective, and implement that in the model checker DEMO. Our running example of lying in games is the game of Liar’s Dice.
Type de document :
Chapitre d'ouvrage
van Eijck, D. J. N. and Verbrugge, R. Games, Actions and Social Software, 7010, Springer, pp.41-72, 2012, Lecture Notes in Computer Science, 978-3-642-29327-6. 〈10.1007/978-3-642-29326-9_4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00756875
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 21:56:32
Dernière modification le : mercredi 14 mars 2018 - 15:27:02

Identifiants

Collections

Citation

H. Van Ditmarsch, D. J. N. Van Eijck, F. A. G. Sietsma, Yanjing Wang. On The Logic Of Lying. van Eijck, D. J. N. and Verbrugge, R. Games, Actions and Social Software, 7010, Springer, pp.41-72, 2012, Lecture Notes in Computer Science, 978-3-642-29327-6. 〈10.1007/978-3-642-29326-9_4〉. 〈hal-00756875〉

Partager

Métriques

Consultations de la notice

82