[論文レビュー] When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols

Krzysztof R. Apt, Davide Grossi+1 more|arXiv (Cornell University)|Jul 13, 2018

Distributed systems and fault tolerance参考文献 22被引用数 7

ひとこと要約

本稿は、プライバシー、方向性、観察可能性の3つの観点に基づき、18種類の知識的ゴシッププロトコルにおける通信を体系的に分類し、同一視関係を用いてその知識的効果をモデル化する。情報の豊かさの観点から通信タイプの階層を確立し、共通知識の形式的枠組みを提供することで、多様な通信環境下での正確な知識的分析を可能にする。

ABSTRACT

We provide an in-depth study of the knowledge-theoretic aspects of communication in so-called gossip protocols. Pairs of agents communicate by means of calls in order to spread information---so-called secrets---within the group. Depending on the nature of such calls knowledge spreads in different ways within the group. Systematizing existing literature, we identify 18 different types of communication, and model their epistemic effects through corresponding indistinguishability relations. We then provide a classification of these relations and show its usefulness for an epistemic analysis in presence of different communication types. Finally, we explain how to formalise the assumption that the agents have common knowledge of a distributed epistemic gossip protocol.

研究の動機と目的

• 知識的ゴシッププロトコルにおける通信に関する多様な仮定を体系化・分類すること。これまでは文献全体を通して一貫性に欠けて取り扱われてきた。
• 各通信タイプの知識的効果を形式的同一視関係を用いてモデル化し、プロトコル間での知識獲得の正確な比較を可能にする。
• 情報の豊かさの観点から通信タイプの階層を確立し、異なるコールの意味論が知識の拡散に与える影響を明らかにする。
• 分散ゴシッププロトコルにおける共通知識の仮定を形式化すること。これは知識的プロトコル設計において重要だが、これまであまり検討されていなかった問題である。
• 今後の研究の基盤を提供すること。具体的には、知識的ゴシッププロトコルの公理的体系化、決定可能性、通信モデルの変化に対するロバストネスに関する研究を想定する。

提案手法

• 著者らは、3つのパラメータ（プライバシー：だれが通話を観察するか、方向性：情報の流れ：双方向、片方向、部分的、観察可能性：エージェントが通話の活動を検出できるか）に基づき、18種類の明確に区別される通信タイプを定義する。
• 各通信タイプに対して、通話後のエージェントの状態が知識的に同一視できない状況を捉えるための対応する同一視関係を定義する。
• Kripkeモデルを用いた知識論的論理の意味論を形式化し、エージェントの知識をこれらの同一視関係で表現する。
• 知識更新作用素の最大不動点が、与えられたプロトコル下での到達可能な状態の集合に一致することを証明し、正しさの分析を可能にする。
• 知識論的論理に新たなモダリティ作用素（プロトコル知識）を導入することで、プロトコルの共通知識を形式的にモデル化するメカニズムを導入する。
• 異なる通信タイプ下での知識論的論理式の妥当性を分析し、特定のタイプ（例：完全なプライバシー）でのみ成り立つ論理的同値性（例：φ ↔ Kaφ）が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 通話のプライバシー、方向性、観察可能性に関する異なる仮定が、ゴシッププロトコルにおけるエージェントの知識的状態にどのように影響を与えるか？
• RQ2 知識獲得という観点から、異なる通信タイプの相対的な情報量はどの程度か？
• RQ3 知識的論理において、ゴシッププロトコルの共通知識をどのように形式的にモデル化・検証できるか？
• RQ4 どのような知識論的論理式が異なる通信タイプで妥当であり、その妥当性が背後にある同一視関係にどのように依存するか？
• RQ5 これらの18種類の通信タイプの意味論と真偽の定義が決定可能であることを示せるか？

主な発見

• 本稿は、情報の豊かさの観点から通信タイプの厳密な階層を確立し、双方向の情報交換（対称的で完全に観察可能）が最も情報量が多いことを示している。一方、片方向またはプライベートな通話はそれより情報量が少ない。
• 各通信タイプによって誘導される同一視関係が形式的に特徴づけられており、これにより通話中の知識変化の正確な知識的モデリングが可能になる。
• 本稿は、プロトコル下での到達可能な状態の集合が、知識更新作用素の最大不動点に一致することを証明し、正しさの証明の基盤を提供する。
• 特定の通信タイプ（例：完全なプライバシー）でのみ成り立つ論理的同値性（例：φ ↔ Kaφ）が成立することを示している。非対称なタイプでは成立しない。
• 他のエージェントが秘密に精通しているかどうかを表す論理式（例：FbA → FaB）が、♦-方向タイプでは妥当であることを示しており、このような知識的推論が形式化可能であることを示している。
• 本稿は、プロトコルの共通知識を形式的にモデル化する枠組みを提供しており、これは共有知識のレベルkといった高階の知識的性質を分析する上で不可欠である。