DeepAI AI Chat
Log In Sign Up

The formal-logical characterisation of lies, deception, and associated notions

by   Toni Heidenreich, et al.

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.


page 1

page 2

page 3

page 4


Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility

We provide formal definitions of degree of blameworthiness and intention...

Multiplicative linear logic from a resolution-based tile system

We present the stellar resolution, a "flexible" tile system based on Rob...

Formal approaches to a definition of agents

This thesis contributes to the formalisation of the notion of an agent w...

A formal proof of modal completeness for provability logic

This work presents a formalized proof of modal completeness for Gödel-Lö...

Hypergraphs: an introduction and review

Abstract Hypergraphs were introduced in 1973 by Bergé. This review aims ...

Scaling Dimension

Conceptual Scaling is a useful standard tool in Formal Concept Analysis ...

On the definition of informative vs. ignorable nuisance process

This paper is an early version. We propose to generalise the notion of...