🤖 AI

Understanding Privacy by Formalizing It

Cet article propose une formalisation du droit à la vie privée en tant que droit épistémique au sein de la théorie des positions normatives, en utilisant la logique multimodale pour spécifier systématiquement diverses théories et principes de la vie privée afin de guider le développement algorithmique et l'intelligence artificielle.

Auteurs originaux : Réka Markovich, Truls Pedersen, Marija Slavkovik

Publié 2026-06-23

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Réka Markovich, Truls Pedersen, Marija Slavkovik

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le gros problème : La vie privée est trop vague

Imaginez que vous essayiez de construire un robot censé être « poli ». Si vous dites au robot : « Sois poli », il sera confus. Cela signifie-t-il qu'il ne doit pas interrompre ? Doit-il dire « s'il vous plaît » ? Doit-il ne pas vous regarder ? Sans une définition spécifique, le robot ne peut pas savoir quoi faire.

Les auteurs soutiennent que la vie privée est exactement comme cette instruction vague. Dans notre monde moderne, où l'intelligence artificielle (IA) et les ordinateurs traitent les données plus vite que les humains ne peuvent réfléchir, nous devons dire aux machines ce que signifie exactement la « vie privée ». Actuellement, les gens débattent de la vie privée en utilisant différentes définitions, et parce que ces définitions ne sont pas mathématiquement précises, nous ne pouvons pas construire d'algorithmes pour vérifier si la vie privée est violée.

L'objectif de cet article est de prendre le concept flou et désordonné de la vie privée et de le transformer en une recette mathématique stricte (utilisant la logique) afin que les ordinateurs puissent la comprendre.

La boîte à outils : Un ensemble de « Legos juridiques »

Pour construire cette recette, les auteurs utilisent un type spécial de logique appelée Logique multi-modale. Considérez cela comme un ensemble de « Legos juridiques » qui leur permet d'assembler différents types de règles.

Ils s'appuient sur un cadre appelé la Théorie des positions normatives (basée sur les travaux d'un chercheur en droit nommé Hohfeld). Imaginez une partie d'échecs. Aux échecs, vous n'avez pas seulement des « pièces » ; vous avez des pouvoirs et des restrictions spécifiques :

Droit de créance (Claim-Right) : Vous avez le droit de faire quelque chose, et quelqu'un d'autre a le devoir de vous laisser faire. (ex : « J'ai le droit à mon château ; vous avez le devoir de ne pas y entrer. »)
Privilège (Liberté) : Vous êtes libre de faire quelque chose, et personne ne peut vous en empêcher. (ex : « Je suis libre de marcher sur ma propre terre. »)
Pouvoir (Power) : Vous avez la capacité de changer les règles pour quelqu'un d'autre. (ex : « Je peux vendre ma terre, ce qui change votre capacité à y entrer. »)
Immunité : Vous êtes protégé contre le fait que les règles soient changées par autrui. (ex : « Personne ne peut vendre ma terre sans ma permission. »)

Les auteurs utilisent ces « Legos » pour construire différentes versions de la vie privée.

Les différentes « saveurs » de la vie privée

L'article examine comment différents penseurs célèbres ont défini la vie privée et les traduit dans leur langage logique. Voici les principales « saveurs » qu'ils ont analysées :

1. Le panneau « Ne pas déranger » (Le droit d'être laissé tranquille)

L'idée : La vie privée signifie que personne ne devrait connaître vos secrets.
La logique : Ceci est traduit comme une règle où l'État (le gouvernement) a le devoir de s'assurer que, pour chaque personne, il existe une règle selon laquelle personne d'autre ne peut connaître une information spécifique la concernant.
Le bémol : Les auteurs réalisent que dans le monde réel, nous ne pouvons pas toujours être « seuls ». Parfois, un médecin doit connaître vos données de santé, ou un serveur doit connaître votre localisation pour vous envoyer un colis. Ainsi, la logique doit être assez flexible pour dire : « D'accord, le médecin sait, mais le médecin ne peut pas le dire à la compagnie d'assurance. »

2. Le « Bouton de contrôle » (Le droit de contrôler l'accès)

L'idée : La vie privée ne consiste pas à être invisible ; il s'agit d'être le patron de ses propres données. Vous décidez qui voit quoi.
La logique : C'est modélisé comme un « Pouvoir ». Vous avez le pouvoir d'accorder ou de refuser l'accès. Même si quelqu'un peut voir vos données (comme un serveur voyant votre commande), vous avez le droit de contrôler s'il peut partager cette information avec d'autres.
Analogie : Imaginez que vous êtes dans une pièce avec un mur de verre. Vous ne pouvez pas empêcher les gens de vous voir (ils peuvent voir), mais vous avez une télécommande. Si vous appuyez sur un bouton, le verre devient opaque. Si vous ne le faites pas, il reste transparent. La logique définit qui détient cette télécommande.

3. Le « Changement de contexte » (Intégrité contextuelle)

L'idée : Il est acceptable de partager votre statut sérologique avec une application de rencontre, mais pas avec votre patron. La vie privée dépend de la situation.
La logique : Les auteurs tentent d'écrire des règles qui disent : « L'information est privée à moins qu'elle ne soit partagée pour un but spécifique dans un contexte spécifique. » Si la donnée passe du « contexte de rencontre » au « contexte d'entretien d'embauche », la logique signale une violation.

4. Le « Miroir de transparence » (Le droit de savoir)

L'idée : Parfois, la vie privée ne consiste pas à se cacher ; il s'agit de savoir qui vous regarde.
La logique : C'est une règle qui dit : « Si quelqu'un accède à vos données, vous avez le droit de savoir qu'il l'a fait. » C'est comme avoir une caméra de sécurité qui non seulement enregistre le voleur, mais vous envoie aussi un SMS disant : « Quelqu'un vient de regarder votre journal intime. »

Pourquoi est-ce important ?

Les auteurs ne cherchent pas à résoudre tous les problèmes de la vie privée dès maintenant. Au lieu de cela, ils construisent le plan directeur.

Avant cet article : Nous avons différentes personnes qui disent : « La vie privée est X », « La vie privée est Y » et « La vie privée est Z ». Elles se disputent car elles utilisent des définitions différentes.
Après cet article : Nous pouvons prendre la Définition X et la Définition Y et les passer dans la même machine de logique mathématique. La machine peut nous dire : « Ces deux définitions sont en fait les mêmes », ou « Ces deux définitions se contredisent ».

L'essentiel

Cet article est une étape fondamentale. Il affirme : « Nous ne pouvons pas construire un système d'IA équitable pour la vie privée tant que nous ne pouvons pas écrire les règles de la vie privée dans un langage que les ordinateurs peuvent lire sans confusion. »

Ils ont créé un « dictionnaire » et une « grammaire » pour les droits à la vie privée. En transformant des idées abstraites comme la « liberté de ne pas être scruté » en formules logiques strictes (comme Oa→b...), ils espèrent permettre aux ordinateurs de vérifier automatiquement si une nouvelle technologie ou une nouvelle loi respecte réellement la vie privée, ou si elle est secrètement en train d'en briser les règles.

En bref : Ils transforment le concept de « Vie privée » d'un sentiment flou en un ensemble précis d'instructions qu'un ordinateur peut suivre.

Résumé Technique : Comprendre la Vie Privée en la Formalisant

Énoncé du Problème
L'article traite du défi consistant à traduire le concept de vie privée dans un format adapté à l'analyse et à l'implémentation algorithmiques, particulièrement dans le contexte de l'Intelligence Artificielle (IA) et de la numérisation. Bien qu'il existe un large consensus sur la nécessité de protéger la vie privée, le concept lui-même manque d'une définition unifiée et fait l'objet d'interprétations diverses en droit, en sciences sociales et en informatique. Les capacités actuelles de l'IA, telles que la reconnaissance de formes dans les données, peuvent éroder la vie privée en déduisant des informations qui n'ont pas été explicitement partagées, alors que les cadres réglementaires existants reposent souvent sur des conceptualisations vagues ou contradictoires. Les auteurs soutiennent que pour imposer des restrictions algorithmiques significatives ou des mécanismes d'autorégulation, le droit à la vie privée doit être formellement spécifié. Sans une telle précision, il est impossible de comparer différentes conceptualisations de la vie privée ou de déterminer si elles se réfèrent aux mêmes idées sous-jacentes.

Méthodologie
Les auteurs emploient une approche logique formelle pour caractériser différentes théories de la vie privée. La méthodologie se compose de trois composantes principales :

Cadre Théorique : L'article utilise la Théorie des Positions Normatives, ancrée dans l'analyse des droits de W.N. Hoheld. Ce cadre distingue quatre types atomiques de droits et leurs corrélatifs : les droits de créance (et les devoirs), les privilèges (et l'absence de créance), les pouvoirs (et les responsabilités) et les immunités (et les incapacités). Les auteurs étendent cela aux droits multital (droits détenus contre tout le monde) et aux droits moléculaires (combinaisons complexes de positions atomiques). Ils se concentrent spécifiquement sur les droits épistémiques, définis comme des droits concernant la distribution et l'accessibilité des biens épistémiques (connaissance/information).
Formalisme Logique : Une logique multi-modale est construite pour représenter ces droits. Le langage $L$ $L$ étend la logique propositionnelle avec quatre modalités :
- Agence ( $E_a$ ) : « L'agent $a$ veille à ce que... » (modélisé via la sémantique de voisinage).
- Obligation Dirigée ( $O_{a \to b}$ ) : « L'agent $a$ a un devoir envers $b$ que... » (logique déontique standard, axiome D).
- Connaissance Épistémique ( $K_a$ ) : « L'agent $a$ sait que... » (logique de la connaissance S5 standard).
- Nécessité Aléthique ( $\Box$ ) : « Il est nécessaire que... » (S5).
  La logique évite les hypothèses fortes sur l'action (en utilisant une logique d'action faible) pour permettre une interprétation large des « actions » tout en maintenant les propriétés standards pour la connaissance et la nécessité.
Processus de Formalisation : Les auteurs cartographient des définitions et théories spécifiques de la vie privée sur ce langage logique. Ils traduisent des concepts tels que « le droit d'être laissé tranquille », « le contrôle sur l'information » et « l'intégrité contextuelle » en formules impliquant des combinaisons des modalités ci-dessus.

Contributions Clés et Résultats
L'article fournit des représentations formelles initiales de plusieurs approches de la vie privée, démontrant comment elles se traduisent en distinctes positions normatives :

Droit d'être Laissé Tranquille / Contrôle : Les auteurs formalisent le « droit d'être laissé tranquille » (Warren et Brandeis) et la définition du « contrôle » de Westin. Ils distinguent entre :
- Des formules de type Ought-to-be (ex: $O\Diamond E_a \neg K_b \phi$ ) qui énoncent un état de choses souhaité.
- Des formules de type Ought-to-do impliquant des agents spécifiques (ex: l'État $s$ imposant un devoir à une entreprise $c$ pour permettre à l'agent $a$ d'empêcher $b$ de savoir $\phi$ ).
- Ils formalisent les libertés multital (l'absence d'obligation de divulgation) et les immunités (l'incapacité d'autrui à modifier cette liberté), montrant comment la vie privée peut être un droit moléculaire complexe plutôt qu'un simple droit de créance atomique.
Intégrité Contextuelle et Vie Privée Inatteignable : Abordant la critique de Nissenbaum selon laquelle le contrôle absolu est impossible, l'article formalise des scénarios où l'accès est inévitable. Dans ces cas, la vie privée est redéfinie comme le droit de contrôler la diffusion ultérieure ou le droit d'empêcher ceux qui connaissent nécessairement l'information de l'utiliser pour scruter ou commenter (ex: $E_a O_{b \to a} \neg E_b K_a \phi$ ).
Transparence : L'article formalise le « droit à la transparence » (savoir si d'autres ont accès) en utilisant un opérateur de « savoir si » pour éviter les paradoxes logiques, garantissant que le débiteur de l'obligation doit informer le titulaire du droit sur le statut d'accès.
Application (Enforcement) : Les auteurs incluent des formalisations pour le pouvoir d'appliquer les droits. Ils modélisent la transition d'une violation d'un devoir de vie privée vers une nouvelle créance contre le pouvoir judiciaire pour faire respecter le devoir original ou fournir une compensation.

Signification et Revendications
L'article affirme que sa principale contribution est l'utilisation de spécifications logiques à la fois comme objectif et comme méthode pour clarifier les distinctions entre différents concepts de la vie privée. En formalisant ces concepts au sein de la Théorie des Positions Normatives, les auteurs visent à :

Rendre les spécifications de la vie privée accessibles pour l'analyse algorithmique, permettant la construction d'algorithmes capables de détecter les violations de la vie privée.
Fournir un terrain d'entente pour comparer différentes conceptualisations de la vie privée (par exemple, en droit vs en informatique) afin de déterminer si elles sont équivalentes ou distinctes.
Poser les jalons de spécifications implémentables des droits à la vie privée, servant de base aux initiatives de « politique-en-code » (policy-as-code) et de « loi-en-code » (law-as-code) dans l'IA et les Systèmes Multi-Agents (MAS).

Les auteurs déclarent explicitement qu'ils ne fournissent pas de résultats méta-logiques (tels que des preuves de complétude ou de décidabilité) mais se concentrent plutôt sur l'analyse conceptuelle formelle de la manière dont différentes théories de la vie privée se rapportent aux positions normatives. Ils reconnaissent qu'il s'agit d'une étape initiale, des travaux futurs étant prévus pour traiter la défaisabilité de ces droits et pour tester ces formalismes à l'aide de cadres tels que LogiKEy.