[論文レビュー] 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

ひとこと要約

本稿は、General Dynamic Dynamic Logic (GDDL) を用いた二重次元の動的知識論的論理枠組みを提案し、フェイスブックのようなプラットフォームにおける、知識および友人関係をモデル化する。『私はあなたの友人である』のような指示的文や『私の友人は危険である』のようなグループベースの知識を形式化し、対称的友人関係ネットワークにおける社会的知識動態を推論するための明確な論理言語を提供する。

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.

研究の動機と目的

• 対称的友人関係ネットワークにおける知識および社会的関係を推論するための形式論理の開発。
• ソーシャルメディア文脈における指示的およびグループベースの知識表現をモデル化する課題への対処。
• 動的論理と知識論理を統合し、ネットワーク内での進化する社会的知識をモデル化する。
• コミュニティにおける論理を基盤とする社会的ネットワーク推論のための概念的・技術的枠組みの提供。
• 通信および関係変化が社会的ネットワークにおける集団的および個人的知識に与える影響の解明。

提案手法

• 本稿は、モダリティ論理に動的作用素を組み込むために、General Dynamic Dynamic Logic (GDDL) を基礎的枠組みとして採用する。
• Kripke的関係構造内でエージェントおよびその対称的友人関係をモデル化する。
• 動的作用素を用いて、時間経過に伴う友人関係および知識状態の変化を表現する。
• エージェント相対的視点をモデルに埋め込むことで、『私はあなたの友人である』のような指示的表現をサポートする。
• グループ固有の動的作用を用いて、社会的に定義されたグループ（例：『私の友人』）へのブロードキャスト通信を統合する。
• 形式的体系は、ネットワーク変更後の個人的および集団的知識の両方に関する推論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、『私はあなたの友人である』のような指示的知識文を、ソーシャルネットワーク文脈で形式的に表現できるか？
• RQ2 対称的ネットワークにおいて友人関係が更新されたとき、知識および信念はどのように変化するか？
• RQ3 友人のグループへのブロードキャストのようなグループベース通信をモデル化するための論理的メカニズムは何か？
• RQ4 どのようにして動的知識論理を、対称的関係を持つソーシャルネットワーク構造に拡張できるか？
• RQ5 ソーシャルネットワーク内における『コミュニティにおける論理』をモデル化する際の概念的および形式的課題は何か？

主な発見

• 提案されたGDDLベースの枠組みは、友人関係の動的変化およびその知識的結果を効果的にモデル化している。
• 二重次元モデルにおける指示的作用素を通じて、『私はあなたの友人である』のようなエージェント相対的表現を論理的に表現可能である。
• グループ固有の動的作用をモデル化することで、『私の友人は危険である』のような集団的知識の推論が可能である。
• 本稿は、GDDLが知識論理をソーシャルネットワーク動態に拡張するための柔軟で一般的な手法を提供することを示している。
• 本アプローチは、特に対称的関係およびブロードキャスト通信を含む文脈における、ネットワーク内での社会的知識分析のための形式的言語を提供する。