DeepAI AI Chat
Log In Sign Up

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

12/28/2016
by   Toni Heidenreich, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/13/2018

Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility

We provide formal definitions of degree of blameworthiness and intention...
07/18/2022

Multiplicative linear logic from a resolution-based tile system

We present the stellar resolution, a "flexible" tile system based on Rob...
04/10/2017

Formal approaches to a definition of agents

This thesis contributes to the formalisation of the notion of an agent w...
02/11/2021

A formal proof of modal completeness for provability logic

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

Hypergraphs: an introduction and review

Abstract Hypergraphs were introduced in 1973 by Bergé. This review aims ...
02/17/2023

Scaling Dimension

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

On the definition of informative vs. ignorable nuisance process

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