The possibility of dishonest statements and dishonest behaviour is something we all have to be aware of. A particularly interesting question is how to let computers reason with this. This is less far-fetched than it may seem. After all, the Turing test (one of the basic cornerstones of Artificial Intelligence) is based on a computer successfully convincing someone he’s in fact a human. Apart from that, truly intelligent systems may want to have ways of detecting, dealing with and reasoning about the kind of dishonesty they may encounter during some of their interactions with humans.
In the recently published published paper “a formal account of dishonesty” we give a logical formalisation of different types of dishonesty, including lies, bullshit and half-truths. We study the logical properties of these, and provide a number of maxims that we feel every intelligent system that faces the possibility of dishonesty should adhere with.