社交网络的时间认知知识库（扩展版）
Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
摘要：
我们提出了一个认知逻辑配备了时间戳的原子和认知运营商，它允许的原因，不仅有关信息提供给不同的代理，但也有关的时刻，事件发生和新的知识被收购或推导。我们的逻辑包括一个认知算子和一个信念算子，它允许对可能不准确的信息披露进行建模。我们的主要动机是为在线社交网络中的丰富隐私策略建模。在现代数字时代，在线社交网络（OSN）越来越多地用于社交互动，这带来了隐私方面的新挑战和担忧。当今大多数社交网络提供非常有限的机制来表达用户在如何共享影响其隐私的信息方面的愿望。特别是，大多数当前的隐私策略形式主义只允许静态策略，这些策略不足以表达诸如“我下班后的位置不应该透露给我的老板”之类的时间属性。我们在本文中提出的逻辑能够表达丰富的属性和政策的知识提供给不同的用户和精确的时间的行动和扣除。我们的框架可以实例化为不同的OSN，通过指定的社会网络的演变中的行动的效果，并在每个代理的知识公开。我们提出了一个算法推导知识，这也可以与不同的变体的认知信息是如何通过时间来保存实例化。我们的算法不仅可以模拟具有永恒信息的社交网络，还可以模拟具有短暂信息披露的网络。策略被建模为逻辑中的公式，这些公式被解释为代表社交网络演变的时间轨迹。
英文摘要：
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 policies, which are not rich enough to express timed properties like "my location after work should not be disclosed to my boss". The logic we present in this paper enables to express rich properties and policies in terms of the knowledge available to the different users and the precise time of actions and deductions. Our framework can be instantiated for different OSNs, by specifying the effect of the actions in the evolution of the social network and in the knowledge disclosed to each agent. We present an algorithm for deducing knowledge, which can also be instantiated with different variants of how the epistemic information is preserved through time. Our algorithm allows to model not only social networks with eternal information but also networks with ephemeral disclosures. Policies are modelled as formulae in the logic, which are interpreted over timed traces representing the evolution of the social network.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
