A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
When is it okay to lie? a simple model of contradiction in agent-based dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Dishonest reasoning by abduction
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Games, Actions and Social Software
Hi-index | 0.00 |
This paper aims at providing a formal account of lying - a dishonest attitude of human beings. We first formulate lying under propositional modal logic and present basic properties for it. We then investigate why one engages in lying and how one reasons about lying. We distinguish between offensive and defensive lies, or deductive and abductive lies, based on intention behind the act. We also study two weak forms of dishonesty, bullshit and deception, and provide their logical features in contrast to lying. We finally argue dishonesty postulates that agents should try to satisfy for both moral and self-interested reasons.