用多模态逻辑形式化隐私权，为算法设计提供理论依据。
Understanding Privacy by Formalizing It
- 引入多模态逻辑形式化隐私权的多种理论与原则
- 将隐私权定义为规范立场中的认知权利
- 为人工智能等技术的隐私保护提供可操作的理论框架
在现代社会中，普遍认同应促进隐私保护，并对包括人工智能在内的技术发展施加限制以维护个人隐私权。为在算法层面实现这一目标，首先需将隐私概念及相关权利进行正式定义。然而，隐私权存在多种解释。本文采用多模态逻辑，对不同理论、基本原理及其推论进行初步形式化，将隐私权作为规范地位理论中的认知权利加以研究。
原文摘要 · Abstract (English)
In most of the modern societies, there is a broad consensus regarding the need for promoting privacy and thus placing restrictions on technological-including AI-developments to protect people's right to privacy. In order to meet these expectations on the algorithmic level, first we need to make the concept of privacy and the related or derived rights formally specified. However, the notion of (the right to) privacy is subject to different interpretations. In this paper, we use a multi-modal logic to provide an initial formalization of different theories, basic principles and their implications investigating the right to privacy as an epistemic right within the theory of normative positions.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。