Understanding Privacy by Formalizing It
本文提出将隐私权作为规范立场理论中的一种认识论权利进行形式化，并利用多模态逻辑系统地指定各种隐私理论与原则，以指导算法及人工智能的发展。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
大问题：隐私的概念过于模糊
想象一下，你正在试图制造一个应该表现得“有礼貌”的机器人。如果你告诉机器人，“要表现得有礼貌”，它会感到困惑。这到底意味着不打断别人？还是应该说“请”？还是指不盯着你看？如果没有一个具体的定义，机器人就无法知道该做什么。
作者认为，隐私正是一个像这样模糊的指令。在我们这个人工智能（AI）和计算机处理数据的速度比人类思考还要快的现代世界中，我们需要明确地告诉机器“隐私”究竟意味着什么。目前，人们在使用不同的定义来争论隐私，由于这些定义在数学上并不精确，我们无法构建算法来检查隐私是否受到了侵犯。
本文的目标是将隐私这个混乱、模糊的概念，转化为一套严格的数学配方（使用逻辑学），以便计算机能够理解。
工具箱：一套“法律乐高”
为了构建这个配方，作者使用了一种特殊的逻辑类型，称为多模态逻辑（Multi-modal Logic）。你可以把它想象成一套“法律乐高”，允许他们将不同类型的规则拼接在一起。
他们依赖于一个名为*规范地位理论（Theory of Normative Positions）*的框架（基于法律学者霍菲尔德 [Hohfeld] 的研究）。想象一场国际象棋比赛。在国际象棋中，你拥有的不仅仅是“棋子”，你还拥有特定的权力*和限制*：
- 请求权（Claim-Right）： 你拥有一种权利去做某事，而其他人有义务让你去做。（例如：“我有权拥有我的城堡；你有义务不得进入。”）
- 特权/自由（Privilege/Freedom）： 你可以自由地做某事，且无人可以阻止你。（例如：“我在自己的土地上行走是自由的。”）
- 权力（Power）： 你有能力改变他人的规则。（例如：“我可以出售我的土地，这改变了你进入它的能力。”）
- 豁免权（Immunity）： 你受到保护，不受他人改变规则的影响。（例如：“未经我的许可，任何人不得出售我的土地。”）
作者使用这些“乐高”来构建不同版本的隐私。
隐私的不同“风味”
论文研究了不同的思想家是如何定义隐私的，并将它们转化为逻辑语言。以下是他们分析的主要“风味”：
1. “请勿打扰”的牌子（不受干扰的权利 / 独处权）
- 核心思想： 隐私意味着没有人应该知道你的秘密。
- 逻辑实现： 这被转化为一条规则：国家（政府）有义务确保对于每一个人，都存在一条规则，规定除了特定的人之外，任何人都不能了解关于该人的特定信息。
- 难点： 作者意识到，在现实世界中，我们并不总是能“独处”。有时，医生必须知道你的健康数据，或者服务器必须知道你的位置才能向你发送包裹。因此，逻辑必须足够灵活，能够表达：“好吧，医生知道，但医生不能把这个告诉保险公司。”
2. “控制旋钮”（控制访问权的权利）
- 核心思想： 隐私不在于隐身，而在于成为自己数据的掌控者。你决定谁可以看到什么。
- 逻辑实现： 这被建模为一种“权力”。你拥有授予或拒绝访问的权力。即使有人可以看到你的数据（比如服务员看到了你的订单），你也有权控制他们是否可以将该信息与他人共享。
- 类比： 想象你处在一个带有玻璃墙的房间里。你无法阻止人们看到你（他们确实能看到），但你有一个遥控器。如果你按下按钮，玻璃就会变成不透明的。如果你不按，它就保持透明。逻辑定义了谁持有那个遥控器。
3. “语境切换”（语境完整性）
- 核心思想： 向交友软件分享你的艾滋病毒感染状态是可以接受的，但向你的老板透露则不行。隐私取决于情境。
- 逻辑实现： 作者尝试编写规则，说明：“除非信息是为了特定目的在特定语境下共享，否则它是私密的。”如果数据从“交友语境”跳到了“求职面试语境”，逻辑就会将其标记为违规。
4. “透明镜子”（知情权）
- 核心思想： 有时，隐私不在于隐藏，而在于知道谁在注视着你。
- 逻辑实现： 这是一条规则，规定：“如果有人访问了你的数据，你有权知道他们做了这件事。”这就像有一个监控摄像头，它不仅记录下小偷，还会给你发短信说：“刚才有人看了你的日记。”
为什么这很重要？
作者并不是试图现在就解决所有的隐私问题。相反，他们是在绘制蓝图。
- 在此论文之前： 我们有不同的人在说，“隐私是 X”，“隐私是 Y”，“隐私是 Z”。他们在各说各话，因为他们使用的定义各不相同。
- 在此论文之后： 我们可以将定义 X 和定义 Y 放入同一个数学逻辑机器中运行。这台机器可以告诉我们：“这两个定义实际上是相同的，”或者“这两个定义相互矛盾。”
总结
这篇论文是一个基础性的步骤。它指出：“在我们能够用计算机可以理解且不会产生困惑的语言来编写隐私规则之前，我们无法为隐私构建一个公平的 AI 系统。”
他们创造了隐私权利的“词典”和“语法”。通过将“免受监视”等抽象概念转化为严格的逻辑公式（如 Oa→b...），他们希望最终能够让计算机自动检查一项新技术或一项法律是否真正尊重隐私，或者是否在暗中违反了规则。
简而言之： 他们正在将“隐私”这一概念从一种模糊的感觉转变为一套计算机可以遵循的精确指令。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。