Data di Pubblicazione:
2020
Citazione:
A logic of negative trust / G. Primiero. - In: JOURNAL OF APPLIED NON-CLASSICAL LOGICS. - ISSN 1166-3081. - (2020), pp. 1-30. [Epub ahead of print] [10.1080/11663081.2020.1789404]
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.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
computational trust; distrust; mistrust; proof theory; relational semantics;
Elenco autori:
G. Primiero
Link alla scheda completa:
Link al Full Text: