We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in favour of the trustworthiness of these objects. The framework is based on a quantified epistemic and justification logic featuring a non-standard handling of identities. Thus, the theory is able to account for the hyperintensional nature of computational trust. We present a proof system and a frame semantics for the logic, we prove soundness and completeness results and we introduce the syntactical machinery required to define a theory of trust.

A Logic of Knowledge and Justifications, with an Application to Computational Trust / F.A. Genco. - In: STUDIA LOGICA. - ISSN 0039-3215. - (2024), pp. 1-61. [Epub ahead of print] [10.1007/s11225-024-10165-7]

A Logic of Knowledge and Justifications, with an Application to Computational Trust

F.A. Genco
2024

Abstract

We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in favour of the trustworthiness of these objects. The framework is based on a quantified epistemic and justification logic featuring a non-standard handling of identities. Thus, the theory is able to account for the hyperintensional nature of computational trust. We present a proof system and a frame semantics for the logic, we prove soundness and completeness results and we introduce the syntactical machinery required to define a theory of trust.
Computation; Epistemic logic; Hyperintensionality; Intensionality; Justification logic; Trust
Settore MATH-01/A - Logica matematica
Settore PHIL-02/A - Logica e filosofia della scienza
   BIAS, RISK, OPACITY in AI: design, verification and development of Trustworthy AI
   BRIO
   MINISTERO DELL'ISTRUZIONE E DEL MERITO
   2020SSKZ7R_001
2024
31-dic-2024
Article (author)
File in questo prodotto:
File Dimensione Formato  
Studia-Logica-2025.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 864.33 kB
Formato Adobe PDF
864.33 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
2405.15647v1.pdf

accesso aperto

Descrizione: Article pre-print
Tipologia: Pre-print (manoscritto inviato all'editore)
Dimensione 424.56 kB
Formato Adobe PDF
424.56 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1135875
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact