Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
Ra\'ul Pardo, C\'esar S\'anchez, Gerardo Schneider

TL;DR
This paper introduces a timed epistemic logic for social networks that models knowledge, beliefs, and privacy policies over time, enabling more expressive privacy controls than static policies.
Contribution
It develops a novel logic with time-stamped epistemic and belief operators, and provides an algorithm for reasoning about knowledge evolution in social networks.
Findings
Logic can express complex timed privacy policies.
Algorithm supports reasoning about ephemeral and eternal information.
Framework adaptable to different social network scenarios.
Abstract
We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, but also about the moments at which events happens and new knowledge is acquired or deduced. Our logic includes both an epistemic operator and a belief operator, which allows to model the disclosure of information that may not be accurate. Our main motivation is to model rich privacy policies in online social networks. Online Social Networks (OSNs) are increasingly used for social interactions in the modern digital era, which bring new challenges and concerns in terms of privacy. Most social networks today offer very limited mechanisms to express the desires of users in terms of how information that affects their privacy is shared. In particular, most current privacy policy formalisms allow only static…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAccess Control and Trust · Privacy-Preserving Technologies in Data · Logic, Reasoning, and Knowledge
