The formal-logical characterisation of lies, deception, and associated notions
Logic in Computer Science
2016-12-30 v1 Artificial Intelligence
Multiagent Systems
Abstract
Defining various dishonest notions in a formal way is a key step to enable intelligent agents to act in untrustworthy environments. This review evaluates the literature for this topic by looking at formal definitions based on modal logic as well as other formal approaches. Criteria from philosophical groundwork is used to assess the definitions for correctness and completeness. The key contribution of this review is to show that only a few definitions fully comply with this gold standard and to point out the missing steps towards a successful application of these definitions in an actual agent environment.
Cite
@article{arxiv.1612.08845,
title = {The formal-logical characterisation of lies, deception, and associated notions},
author = {Toni Heidenreich},
journal= {arXiv preprint arXiv:1612.08845},
year = {2016}
}
Comments
Literature review prepared as a student at King's College London