[论文解读] Facebook and the Epistemic Logic of Friendship

Jeremy Seligman, Fenrong Liu+1 more|arXiv (Cornell University)|Oct 24, 2013

Logic, Reasoning, and Knowledge参考文献 14被引用 24

一句话总结

本文提出了一种基于通用动态动态逻辑（GDDL）的二维动态认识逻辑框架，用于建模社交网络（尤其是Facebook等平台）中的知识与友谊关系。该框架形式化了索引性陈述（如'我是你的朋友'）以及基于群体的知识（如'我的朋友们处于危险之中'），为对称友谊网络中的社交知识动态提供了精确的逻辑语言。

ABSTRACT

This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric 'friendship' relation, providing a precise language for exploring 'logic in the community' [11]. Agents are placed in the model, allowing us to express such indexical facts as 'I am your friend' and 'You, my friends, are in danger'. The technical framework for this work is general dynamic dynamic logic (GDDL) [4], which provides a general method for extending modal logics with dynamic operators for reasoning about a wide range of model-transformations, starting with those definable in propositional dynamic logic (PDL) and extended to allow for the more subtle operators involved in, for example, private communication, as represented in dynamic epistemic logic (DEL) and related systems. We provide a hands-on introduction to GDDL, introducing elements of the formalism as we go, but leave the reader to consult [4] for technical details. Instead, the purpose of this paper is to investigate a number of conceptual issues that arise when considering communication between agents in such networks, both from one agent to another, and broadcasts to socially-defined groups of agents, such as the group of my friends.

研究动机与目标

• 开发一种用于推理对称友谊网络中知识与社交关系的形式逻辑。
• 解决在社交媒体语境中建模索引性与基于群体的知识表达的挑战。
• 将动态逻辑与认识逻辑相结合，以建模网络中演化的社交知识。
• 为'群体中的逻辑'提供概念与技术框架，作为社交网络推理的基础。
• 探讨通信与关系变化如何影响社交网络中的集体与个体知识。

提出的方法

• 本文采用通用动态动态逻辑（GDDL）作为基础框架，通过引入动态算子扩展模态逻辑。
• 在Kripke风格的关系结构中建模代理者及其对称友谊关系。
• 使用动态算子表示友谊关系与知识状态随时间的变化。
• 通过在模型中嵌入与代理者相关的视角，支持诸如'我是你的朋友'等索引性表达。
• 利用针对特定群体的动态动作，实现对社交定义群体（如'我的朋友们'）的广播通信。
• 该形式化方法支持在网络变化后对个体与集体知识进行推理。

实验结果

研究问题

• RQ1 我们如何在社交网络语境中正式表示索引性知识陈述，如'我是你的朋友'？
• RQ2 在对称网络中，当友谊关系更新时，知识与信念如何变化？
• RQ3 需要何种逻辑机制来建模基于群体的通信，如向用户好友群组广播？
• RQ4 如何将动态认识逻辑扩展以处理具有对称关系的社交网络结构？
• RQ5 在社交网络中建模'群体中的逻辑'面临哪些概念与形式上的挑战？

主要发现

• 所提出的基于GDDL的框架成功建模了友谊关系的动态变化及其认识论后果。
• 该逻辑通过在二维模型中使用索引性算子，支持以代理者为中心的陈述（如'我是你的朋友'）。
• 该框架通过建模基于群体的动态动作，实现了对集体知识（如'我的朋友们处于危险之中'）的推理。
• 本文证明了GDDL为将认识逻辑扩展至社交网络动态提供了一种灵活且通用的方法。
• 该方法为分析社交网络中的社交知识提供了一种形式化语言，尤其适用于涉及对称关系与广播通信的情境。