Understanding Privacy by Formalizing It

The paper presents a formalization of the concept of privacy using multi-modal logic, aiming to clarify its various interpretations and implications for algorithmic development, particularly in AI. By defining privacy as an epistemic right within normative theories, it seeks to establish a foundational framework for integrating privacy considerations into AI systems. This formalization is crucial for practitioners to navigate the complex ethical landscape surrounding privacy in AI applications.