Understanding Privacy by Formalizing It

Sintesi Tecnica: Comprendere la Privacy attraverso la sua Formalizzazione

Problema
Il saggio affronta la sfida di tradurre il concetto di privacy in un formato adatto all'analisi e all'implementazione algoritmica, in particolare nel contesto dell'Intelligenza Artificiale (IA) e della digitalizzazione. Sebbene esista un ampio consenso sulla necessità di proteggere la privacy, il concetto stesso manca di una definizione unificata ed è soggetto a diverse interpretazioni nel diritto, nelle scienze sociali e nell'informatica. Le attuali capacità dell'IA, come il riconoscimento di pattern nei dati, possono erodere la privacy inferendo informazioni non esplicitamente condivise, eppure gli esistenti quadri normativi si basano spesso su concettualizzazioni vaghe o contrastanti. Gli autori sostengono che, per imporre restrizioni algoritmiche significative o meccanismi di autoregolamentazione, il diritto alla privacy debba essere formalmente specificato. Senza tale precisione, è impossibile confrontare diverse concettualizzazioni della privacy o determinare se esse si riferiscano agli stessi concetti sottostanti.

Metodologia
Gli autori impiegano un approccio logico formale per caratterizzare diverse teorie della privacy. La metodologia consiste in tre componenti principali:

1. Quadro Teorico: Il saggio utilizza la Teoria delle Posizioni Normative, radicata nell'analisi dei diritti di W.N. Hohfeld. Questo quadro distingue tra quattro tipi atomici di diritti e i loro correlativi: diritti di pretesa (claim-rights, e relativi doveri), privilegi (privileges, e assenza di pretese), poteri (powers, e responsabilità/oneri) e immunità (immunities, e incapacità/disabilità). Gli autori estendono questo concetto a diritti multital (diritti detenuti contro tutti) e diritti molecolari (combinazioni complesse di posizioni atomiche). Si concentrano specificamente sui diritti epistemici, definiti come diritti riguardanti la distribuzione e l'accessibilità di beni epistemici (conoscenza/informazione).
2. Formalismo Logico: Viene costruito una logica multi-modale per rappresentare tali diritti. Il linguaggio $L$ estende la logica proposizionale con quattro modalità:
   • Agenzia ($E_a$): "L'agente $a$ si assicura che..." (modellata tramite la semantica dei vicinati).
   • Obbligo Diretto ($O_{a \to b}$): "L'agente $a$ ha un dovere verso $b$ che..." (logica deontica standard, assioma D).
   • Conoscenza Epistemica ($K_a$): "L'agente $a$ sa che..." (logica della conoscenza S5 standard).
   • Necessità Alethica ($\Box$): "È necessario che..." (S5).
     Il sistema evita assunzioni forti sull'azione (utilizzando una logica dell'azione debole) per permettere una interpretazione ampia di "azioni" mantenendo al contempo le proprietà standard per la conoscenza e la necessità.
3. Processo di Formalizzazione: Gli autori mappano specifiche definizioni e teorie della privacy su questo linguaggio logico. Traducono concetti come "il diritto di essere lasciati soli", "il controllo sulle informazioni" e "l'integrità contestuale" in formule che coinvolgono le combinazioni delle modalità sopra citate.

Contributi Chiave e Risultati
Il saggio fornisce rappresentazioni formali iniziali di diversi approcci alla privacy, dimostrando come questi si traducano in distinte posizioni normative:

• Diritto di Essere Lasciati Soli / Controllo: Gli autori formalizzano il "diritto di essere lasciati soli" (Warren e Brandeis) e la definizione di "controllo" di Westin. Distinguono tra:
  • Formule di essere-com'altro-dovrebbe-essere (es. $O\Diamond E_a \neg K_b \phi$) che dichiarano uno stato di cose desiderato.
  • Formule di dover-fare che coinvolgono agenti specifici (es. lo stato $s$ che impone un dovere a un'azienda $c$ per consentire all'agente $a$ di impedire a $b$ di conoscere $\phi$).
  • Formalizzano le libertà multital (l'assenza di un obbligo di divulgazione) e le immunità (l'incapacità di altri di cambiare questa libertà), mostrando come la privacy possa essere un diritto molecolare complesso piuttosto che un singolo diritto di pretesa atomico.
• Integrità Contestuale e Privacy Irraggiungibile: Affrontando la critica di Nissenbaum secondo cui il controllo assoluto è impossibile, il saggio formalizza scenari in cui l'accesso è inevitabile. In questi casi, la privacy viene ridefinita come il diritto di controllare la ulteriori disseminazioni o il diritto di impedire a coloro che necessariamente conoscono l'informazione di scrutinarla o commentarla (es. $E_a O_{b \to a} \neg E_b K_a \phi$).
• Trasparenza: Il saggio formalizza il "diritto alla trasparenza" (sapere se altri hanno accesso) utilizzando un operatore di "sapere se" per evitare paradossi logici, garantendo che il detentore del dovere informi il titolare del diritto sullo stato di accesso.
• Enforcement (Applicazione): Gli autori includono formalizzazioni per il potere di far valere i diritti. Modellano la transizione da una violazione di un dovere di privacy a un nuovo diritto di pretesa contro il potere giudiziario per far rispettare il dovere originale o fornire un risarcimento.

Significatività e Rivendicazioni
Il saggio afferma che il suo contributo primario è l'uso di specifiche logiche sia come obiettivo che come metodo per chiarire le distinzioni tra diversi concetti di privacy. Formalizzando questi concetti all'interno della Teoria delle Posizioni Normative, gli autori mirano a:

1. Rendere le specifiche della privacy accessibili per l'analisi algoritmica, consentendo la costruzione di algoritmi in grado di rilevare violazioni della privacy.
2. Fornire un terreno comune per confrontare diverse concettualizzazioni della privacy (ad esempio, tra legge e informatica) per determinare se siano equivalenti o distinte.
3. Porre le basi per specifiche implementabili dei diritti alla privacy, fungendo da base per le inizi iniziative di "policy-as-code" e "law-as-code" nell'IA e nei Sistemi Multi-Agente (MAS).

Gli autori dichiarano esplicitamente di non fornire risultati meta-logici (come prove di completezza o decidibilità), ma di concentrarsi piuttosto sull'analisi concettuale formale di come diverse teorie della privacy si mappino sulle posizioni normative. Riconoscono che questo è un passo iniziale, con lavori futuri pianificati per affrontare la difettibilità di questi diritti e per testare tali formalismi utilizzando framework come LogiKEy.