[論文レビュー] Timely Common Knowledge

Yannai A. Gonczarowski, Yoram Moses|arXiv (Cornell University)|Oct 23, 2013

Logic, Reasoning, and Knowledge参考文献 25被引用数 4

ひとこと要約

本稿は、時間的制約を統合したマルチエージェント協調における一般化された共通知識を定式化する新規な認識的枠組み「タイムリー共通知識」を導入する。これは時間的認識論的論理式のベクトル固定点として定義され、時間的制約下での協調タスクの解法可能性と最適解の特徴付けを可能にする。自然な条件下では、無限個の論理式の論理的連言と同値であることが示される。

ABSTRACT

Coordinating activities at different sites of a multi-agent system typically imposes epistemic constraints on the participants. Specifying explicit bounds on the relative times at which actions are performed induces combined temporal and epistemic constraints on when agents can perform their actions. This paper characterises the interactive epistemic state that arises when actions must meet particular temporal constraints. The new state, called timely common knowledge, generalizes common knowledge, as well as other variants of common knowledge. While known variants of common knowledge are defined in terms of a fixed point of an epistemic formula, timely common knowledge is defined in terms of a vectorial fixed point of temporal-epistemic formulae. A general class of coordination tasks with timing constraints is defined, and timely common knowledge is used to characterise both solvability and optimal solutions of such tasks. Moreover, it is shown that under natural conditions, timely common knowledge is equivalent to an infinite conjunction of temporal-epistemic formulae, in analogy to the popular definition of common knowledge.

研究の動機と目的

• 行動に時間的制約が課されるマルチエージェントシステムにおける認識状態を形式化すること。
• 協調プロトコルに時間と知識を統合する新しい認識的概念「タイムリー共通知識」を定義すること。
• 時間的制約を伴う協調タスクの解法可能性と最適解を特徴付けること。
• 自然な仮定の下で、タイムリー共通知識と無限個の時間的認識論的論理式の連言との論理的同値性を確立すること。

提案手法

• 標準的な共通知識の固定点定義を拡張し、時間的認識論的論理式のベクトル固定点としてタイムリー共通知識を定義すること。
• エージェントの行動に明示的な時間的制約を含む一般クラスの協調タスクを形式化すること。
• 時間と知識に関する制約を表現するため、時間的認識論的論理を用いることで、エージェントがいつ行動できるかを正確に指定可能にする。
• タイムリー共通知識が、標準的な共通知識の定義と類似するように、無限個の時間的認識論的論理式の連言と論理的に同値であることを証明すること。
• 時間的制約下での協調プロトコルの解法可能性と最適性を分析するために、この枠組みを応用すること。

実験結果

リサーチクエスチョン

• RQ1 共通知識は、マルチエージェントシステムにおける時間的制約を統合するためにどのように拡張可能か？
• RQ2 特定の時間的要件を満たす条件下で、エージェントが行動を協調できる認識的条件は何か？
• RQ3 標準的な共通知識の固定点を一般化する固定点構成によって、タイムリー共通知識を定義できるか？
• RQ4 自然な条件下で、タイムリー共通知識は無限個の時間的認識論的論理式の連言と論理的に同値か？
• RQ5 タイムリー共通知識は、時間的制約を伴う協調タスクの解法可能性と最適性をどのように特定するのに利用できるか？

主な発見

• タイムリー共通知識は、時間的認識論的論理式のベクトル固定点として形式的に定義され、標準的な共通知識の固定点定義を一般化する。
• この枠組みにより、時間的制約を伴う協調タスクの解法可能性と最適解の両方を特徴付けることが可能になる。
• 自然な条件下では、タイムリー共通知識は無限個の時間的認識論的論理式の連言と同値であり、標準的な共通知識の特徴付けと類似する。
• 提案された枠組みは、分散システムにおける時間に敏感な協調に関する推論の論理的基盤を提供する。
• 結果として、時間的制約が一般化された固定点構成を用いて、認識論的論理に形式的に統合可能であることが示された。