本論文では、従来の共通知識の定義が時間的制約のある状況では問題があることを指摘し、新しい定義を提案する。
従来の共通知識の定義では、全ての参加者が同時に共通知識を得る必要があった。しかし、現実世界には必ず時間的制約が存在するため、この定義では多くの状況で共通知識が成立しないと考えられてきた。これが「Halpern–Moses のパラドックス」と呼ばれる問題である。
本論文では、参加者それぞれの局所的な事象に基づいて共通知識を定義し直す。この新しい定義では、時間的制約があっても共通知識が成立する。具体的には、各参加者が自身の局所的な事象が起きた際に、他の参加者の局所的な事象が何らかの時点で起きており、そのときにも同様の知識が成立するという条件を満たせば、共通知識が成立する。
この新しい定義に基づけば、従来の定義では共通知識が成立しないと考えられていた状況でも、共通知識が成立することが示される。たとえば、Geanakoplos and Polemarchakis (1982)の設定に時間的制約を加えた場合でも、新しい定義に基づけば共通知識が成立する。
また、この新しい定義に基づく共通知識には、従来の定義に基づくものと同様の性質が成り立つことも示される。たとえば、合意定理が成り立つことが示される。
To Another Language
from source content
arxiv.org
Principais Insights Extraídos De
by Yannai A. Go... às arxiv.org 04-24-2024
https://arxiv.org/pdf/2311.04374.pdfPerguntas Mais Profundas