🤖 AI

Understanding Privacy by Formalizing It

Dieses Paper schlägt eine Formalisierung des Rechts auf Privatsphäre als ein epistemisches Recht innerhalb der Theorie normativer Positionen vor, wobei multimodale Logik genutzt wird, um verschiedene Privatsphäre-Theorien und -Prinzipien systematisch zu spezifizieren, um die algorithmische und KI-gestützte Entwicklung zu leiten.

Ursprüngliche Autoren: Réka Markovich, Truls Pedersen, Marija Slavkovik

Veröffentlicht 2026-06-23

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Réka Markovich, Truls Pedersen, Marija Slavkovik

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Problem: Privatsphäre ist zu vage

Stellen Sie sich vor, Sie versuchen, einen Roboter zu bauen, der „höflich“ sein soll. Wenn Sie dem Roboter sagen: „Sei höflich“, wird er verwirrt sein. Bedeutet das, dass er nicht unterbrechen darf? Sollte er „Bitte“ sagen? Sollte er einen nicht ansehen? Ohne eine spezifische Definition weiß der Roboter nicht, was er tun soll.

Die Autoren argumentieren, dass Privatsphäre genau wie diese vage Anweisung ist. In unserer modernen Welt, in der Künstliche Intelligenz (KI) und Computer Daten schneller verarbeiten können, als Menschen denken können, müssen wir den Maschinen genau sagen, was „Privatsphäre“ bedeutet. Derzeit streiten Menschen über Privatsphäre anhand unterschiedlicher Definitionen, und da diese Definitionen nicht mathematisch präzise sind, können wir keine Algorithmen entwickeln, um zu prüfen, ob die Privatsphäre verletzt wird.

Das Ziel dieser Arbeit ist es, das unordentliche, vage Konzept der Privatsphäre in ein striktes mathematisches Rezept (unter Verwendung von Logik) zu verwandeln, damit Computer es verstehen können.

Das Werkzeugset: Ein „Rechtliches Lego“-Set

Um dieses Rezept zu erstellen, verwenden die Autoren eine spezielle Art von Logik, die Modallogik genannt wird. Betrachten Sie dies als ein Set aus „Rechtlichen Legos“, das es ihnen ermöglicht, verschiedene Arten von Regeln zusammenzustecken.

Sie stützen sich auf ein Framework namens Theorie der normativen Positionen (basierend auf der Arbeit des Rechtsgelehrten Hohfeld). Stellen Sie sich ein Schachspiel vor. Beim Schach haben Sie nicht nur „Figuren“, sondern Sie haben spezifische Mächte und Einschränkungen:

Anspruchsrecht (Claim-Right): Sie haben ein Recht darauf, etwas zu tun, und jemand anderes hat die Pflicht, es zuzulassen. (z. B. „Ich habe ein Recht auf meine Burg; du hast die Pflicht, nicht einzudringen.“)
Privileg (Freiheit): Sie sind frei, etwas zu tun, und niemand kann Sie aufhalten. (z. B. „Ich bin frei, auf meinem eigenen Land zu wandeln.“)
Macht (Power): Sie haben die Fähigkeit, die Regeln für jemand anderen zu ändern. (z. B. „Ich kann mein Land verkaufen, was die Fähigkeit des anderen, einzutreten, verändert.“)
Immunität (Immunity): Sie sind davor geschützt, dass andere die Regeln für Sie ändern. (z. B. „Niemand kann mein Land ohne meine Erlaubnis verkaufen.“)

Die Autoren nutzen diese „Legos“, um verschiedene Versionen von Privatsphäre aufzubauen.

Die verschiedenen „Geschmacksrichtungen“ der Privatsphäre

Die Arbeit untersucht, wie verschiedene berühmte Denker Privatsphäre definiert haben, und übersetzt sie in ihre Logiksprache. Hier sind die wichtigsten analysierten „Geschmacksrichtungen“:

1. Das „Bitte nicht stören“-Schild (Recht, in Ruhe gelassen zu werden)

Die Idee: Privatsphäre bedeutet, dass niemand Ihre Geheimnisse erfahren darf.
Die Logik: Dies wird als eine Regel übersetzt, bei der der Staat die Pflicht hat, sicherzustellen, dass für jede Person eine Regel existiert, nach der niemand sonst eine bestimmte Information über sie erfahren darf.
Der Haken: Die Autoren stellen fest, dass wir in der realen Welt nicht immer „allein“ sein können. Manchmal muss ein Arzt Ihre Gesundheitsdaten kennen, oder ein Server muss Ihren Standort kennen, um Ihnen ein Paket zuzustellen. Daher muss die Logik flexibel genug sein, um zu sagen: „Okay, der Arzt weiß Bescheid, aber der Arzt darf es der Versicherung nicht erzählen.“

2. Der „Regler“ (Recht auf Zugangskontrolle)

Die Idee: Bei Privatsphäre geht es nicht darum, unsichtbar zu sein; es geht darum, der Chef der eigenen Daten zu sein. Sie entscheiden, wer was sieht.
Die Logik: Dies wird als eine „Macht“ modelliert. Sie haben die Macht, den Zugang zu gewähren oder zu verweigern. Selbst wenn jemand Ihre Daten sehen kann (wie ein Kellner, der Ihre Bestellung sieht), haben Sie das Recht zu kontrollieren, ob er diese Information mit anderen teilen darf.
Analogie: Stellen Sie sich vor, Sie sind in einem Raum mit einer Glaswand. Sie können nicht verhindern, dass Leute Sie sehen (sie können sehen), aber Sie haben eine Fernbedienung. Wenn Sie einen Knopf drücken, wird das Glas undurchsichtig. Wenn Sie es nicht tun, bleibt es klar. Die Logik definiert, wer diese Fernbedienung hält.

3. Der „Kontext-Schalter“ (Kontextuelle Integrität)

Die Idee: Es ist okay, seinen HIV-Status mit einer Dating-App zu teilen, aber nicht mit dem Chef. Privatsphäre hängt von der Situation ab.
Die Logik: Die Autoren versuchen, Regeln zu schreiben, die besagen: „Informationen sind privat, es sei denn, sie werden für einen bestimmten Zweck in einem bestimmten Kontext geteilt.“ Wenn die Daten vom „Dating-Kontext“ in den „Vorstellungsgespräch-Kontext“ springen, markiert die Logik dies als Verletzung.

4. Der „Transparenz-Spiegel“ (Recht auf Wissen)

Die Idee: Manchmal geht es bei Privatsphäre nicht um das Verstecken; es geht darum zu wissen, wer gerade auf einen blickt.
Die Logik: Dies ist eine Regel, die besagt: „Wenn jemand auf Ihre Daten zugreift, haben Sie das Recht zu erfahren, dass dies geschehen ist.“ Es ist wie eine Sicherheitskamera, die nicht nur den Dieb aufzeichnet, sondern Ihnen auch eine Textnachricht schickt: „Jemand hat gerade in dein Tagebuch geschaut.“

Warum ist das wichtig?

Die Autoren versuchen nicht, jedes Privatsphäre-Problem sofort zu lösen. Stattdessen bauen sie den Blaupausen-Entwurf.

Vor dieser Arbeit: Wir haben verschiedene Menschen, die sagen: „Privatsphäre ist X“, „Privatsphäre ist Y“ und „Privatsphäre ist Z“. Sie reden aneinander vorbei, weil sie unterschiedliche Definitionen verwenden.
Nach dieser Arbeit: Wir können Definition X und Definition Y durch dieselbe mathematische Logikmaschine laufen lassen. Die Maschine kann uns sagen: „Diese beiden Definitionen sind eigentlich dieselbe“ oder „Diese beiden Definitionen widersprechen einander“.

Das Fazit

Diese Arbeit ist ein grundlegender Schritt. Sie besagt: „Wir können kein faires KI-System für Privatsphäre bauen, solange wir die Regeln der Privatsphäre nicht in einer Sprache formulieren können, die Computer lesen können, ohne verwirrt zu werden.“

Sie haben ein „Wörterbuch“ und eine „Grammatik“ für Privatsphäre-Rechte geschaffen. Indem sie abstrakte Ideen wie „Freiheit von Beobachtung“ in strikte logische Formeln (wie Oa→b...) umwandeln, hoffen sie, dass Computer schließlich automatisch prüfen können, ob eine neue Technologie oder ein neues Gesetz die Privatsphäre tatsächlich respektiert oder heimlich gegen die Regeln verstößt.

Kurz gesagt: Sie verwandeln das Konzept der „Privatsphäre“ von einem vagen Gefühl in eine präzise Menge von Anweisungen, denen ein Computer folgen kann.

Technische Zusammenfassung: Privatsphäre durch Formalisierung verstehen

Problemstellung
Die Arbeit adressiert die Herausforderung, das Konzept der Privatsphäre in ein Format zu übersetzen, das für die algorithmische Analyse und Implementierung geeignet ist, insbesondere im Kontext von Künstlicher Intelligenz (KI) und Digitalisierung. Während ein breiter Konsens über die Notwendigkeit des Schutzes der Privatsphäre besteht, fehlt dem Konzept eine einheitliche Definition, und es unterliegt vielfältigen Interpretationen in Recht, Sozialwissenschaft und Informatik. Aktuelle KI-Fähigkeiten, wie etwa die Mustererkennung in Daten, können die Privatsphäre untergraben, indem sie Informationen ableiten, die nicht explizit geteilt wurden; bestehende regulatorische Rahmenbedingungen stützen sich jedoch oft auf vage oder widersprüchliche Konzeptualisierungen. Die Autoren argumentieren, dass zur Auferlegung bedeutsamer algorithmischer Beschränkungen oder Selbstregulationsmechanismen das Recht auf Privatsphäre formal spezifiziert werden muss. Ohne eine solche Präzision ist es unmöglich, verschiedene Konzepte der Privatsphäre zu vergleichen oder festzustellen, ob sie sich auf dieselben zugrunde liegenden Ideen beziehen.

Methodik
Die Autoren verwenden einen formal-logischen Ansatz, um verschiedene Theorien der Privatsphäre zu charakterisieren. Die Methodik besteht aus drei Hauptkomponenten:

Theoretischer Rahmen: Die Arbeit nutzt die Theorie der normativen Positionen, die in W.N. Hohfelds Analyse von Rechten verwurzelt ist. Dieser Rahmen unterscheidet zwischen vier atomaren Arten von Rechten und deren Korrelativen: Anspruchsrechte (und Pflichten), Privilegien (und Nicht-Ansprüche), Befugnisse (und Haftungen) sowie Immunitäten (und Unfähigkeit/Disabilities). Die Autoren erweitern dies auf Multital-Rechte (Rechte, die gegenüber allen gelten) und molekulare Rechte (komplexe Kombinationen atomarer Positionen). Sie konzentrieren sich speziflich auf epistemische Rechte, die als Rechte in Bezug auf die Verteilung und Zugänglichkeit epistemischer Güter (Wissen/Information) definiert sind.
Logische Formalisierung: Es wird eine multi-modale Logik konstruriert, um diese Rechte darzustellen. Die Sprache $L$ $L$ erweitert die Aussagenlogik um vier Modalitäten:
- Agency ( $E_a$ ): „Agent $a$ sorgt dafür, dass...“ (modelliert über Nachbarschaftssemantik).
- Gerichtete Verpflichtung ( $O_{a \to b}$ ): „Agent $a$ hat eine Pflicht gegenüber $b$ , dass...“ (Standard-Deontische Logik, Axiom D).
- Epistemisches Wissen ( $K_a$ ): „Agent $a$ weiß, dass...“ (Standard-S5-Wissenslogik).
- Alethische Notwendigkeit ( $\Box$ ): „Es ist notwendig, dass...“ (S5).
  Die Logik vermeidet starke Annahmen über Handlungen (unter Verwendung einer schwachen Aktionslogik), um eine breite Interpretation von „Handlungen“ zu ermöglichen und gleichzeitig Standardeigenschaften für Wissen und Notwendigkeit beizubehalten.
Formalisierungsprozess: Die Autoren bilden spezifische Definitionen und Theorien der Privatsphäre auf diese logische Sprache ab. Sie übersetzen Konzepte wie das „Recht, in Ruhe gelassen zu werden“, die „Kontrolle über Informationen“ und „kontextuelle Integrität“ in Formeln, die die oben genannten Modalitäten kombinieren.

Wesentliche Beiträge und Ergebnisse
Die Arbeit liefert erste formale Repräsentationen mehrerer prominenter Ansätze zur Privatsphäre und zeigt auf, wie diese in unterschiedliche normative Positionen überführt werden können:

Recht, in Ruhe gelassen zu werden / Kontrolle: Die Autoren formalisieren das „Recht, in Ruhe gelassen zu werden“ (Warren und Brandeis) und Westins „Kontroll“-Definition. Sie unterscheiden zwischen:
- Ought-to-be-Formeln (z. B. $O\Diamond E_a \neg K_b \phi$ ), die einen gewünschten Zustandsraum beschreiben.
- Ought-to-do-Formeln unter Einbeziehung spezifischer Agenten (z. B. der Staat $s$ , der einem Unternehmen $c$ die Pflicht auferlegt, dem Agenten $a$ zu ermöglichen, $b$ daran zu hindern, $\phi$ zu wissen).
- Sie formalisieren Multital-Freiheiten (das Fehlen einer Offenlegungspflicht) und Immunitäten (die Unfähigkeit anderer, diese Freiheit zu ändern) und zeigen so auf, dass Privatsphäre ein komplexes molekulares Recht und kein einzelnes atomares Anspruchsrecht sein kann.
Kontextuelle Integrität und unerreichbare Privatsphäre: Um Nissenbaums Kritik zu adressieren, wonach absolute Kontrolle unmöglich ist, formalisiert die Arbeit Szenarien, in denen Zugriff unvermeidlich ist. In diesen Fällen wird Privatsphäre als das Recht neu definiert, die weitere Verbreitung zu kontrollieren oder das Recht, zu verhindern, dass diejenigen, die zwangsläufig Kenntnis von der Information haben, diese untersuchen oder sich dazu äußern (z. B. $E_a O_{b \to a} \neg E_b K_a \phi$ ).
Transparenz: Die Arbeit formalisiert das „Recht auf Transparenz“ (zu wissen, ob andere Zugriff haben) unter Verwendung eines „Wissen-ob“-Operators, um logische Paradoxien zu vermeiden, wodurch sichergestellt wird, dass der Pflichtenträger darüber informiert werden muss, ob der Rechtsträger über den Zugriffsstatus Bescheid weiß.
Durchsetzung: Die Autoren enthalten Formalisierungen für die Befugnis zur Durchsetzung von Rechten. Sie modellieren den Übergang von einer Verletzung einer Privatsphäre-Pflicht zu einem neuen Anspruch gegen die Justiz, um die ursprüngliche Pflicht durchzusetzen oder Entschädigung zu leisten.

Bedeutung und Ansprüche
Die Arbeit behauptet, dass ihr primärer Beitrag in der Verwendung von Logikspezifikationen sowohl als Ziel als auch als Methode zur Klärung der Unterschiede zwischen verschiedenen Konzepten der Privatsphäre liegt. Durch die Formalisierung dieser Konzepte innerhalb der Theorie der normativen Positionen zielen die Autoren darauf ab:

Privatsphäre-Spezifikationen für die algorithmische Analyse zugänglich zu machen, was die Konstruktion von Algorithmen ermöglicht, die Privatsphäreverletzungen erkennen können.
Einen gemeinsamen Nenner für den Vergleich verschiedener Konzepte der Privatsphäre (z. B. in Recht vs. Informatik) zu schaffen, um zu bestimmen, ob diese äquivalent oder distinkt sind.
Die Grundlage für implementierbare Spezifikationen von Privatsphäre-Rechten zu legen, die als Basis für „Policy-as-Code“- und „Law-as-Code“-Initiativen in der KI und in Multi-Agenten-Systemen (MAS) dienen.

Die Autoren stellen explizit klar, dass sie keine metalogischen Ergebnisse (wie Vollständigkeits- oder Entscheidbarkeitsbeweise) liefern, sondern sich auf die formale konzeptionelle Analyse konzentrieren, wie verschiedene Privatsphäre-Theorien auf normative Positionen abgebildet werden. Sie räumen ein, dass dies ein erster Schritt ist, und planen zukünftige Arbeiten, um die Defeasibilität (Anfechtbarkeit) dieser Rechte zu behandeln und diese Formalismen mithilfe von Frameworks wie LogiKEy zu testen.