A logic of negative trust. Issue 3 (2nd July 2020)

• Record Type: Journal Article
• Authors: Primiero, G.
• Is Part Of: Journal of applied non-classical logics. Volume 30:Issue 3(2020)
• Page Start: 193
• Page End: 222
• Publication Date: 2020-07-02
• Subjects: Computational trust -- distrust -- mistrust -- proof theory -- relational semantics; Nonclassical mathematical logic -- Periodicals; Wiskundige logica; Logic; Periodicals; 511.3105
• DOI: 10.1080/11663081.2020.1789404
• Languages: English
• ISSNs: 1166-3081

Abstract

Abstract : We present a logic to model the behaviour of an agent trusting or not trusting messages sent by another agent. The logic formalises trust as a consistency checking function with respect to currently available information. Negative trust is modelled in two forms: distrust, as the rejection of incoming inconsistent information; mistrust, as revision of previously held information becoming undesirable in view of new incoming inconsistent information, which the agent wishes to accept. We provide a natural deduction calculus, a relational semantics and prove soundness and completeness results. We overview a number of applications which have been investigated for the proof-theoretical formulation of the logic.