[論文レビュー] Strategies with Parallel Causes

Marc de Visme, Glynn Winskel|arXiv (Cornell University)|Jul 13, 2016

Advanced Database Systems and Queries被引用数 3

ひとこと要約

本稿は、並列な原因を有する確率的分散ゲームをモデル化するため、重複と因果関係（edc）を組み込んだイベント構造戦略を導入する。ここで、1つの手番が複数の独立したイベントによって引き起こされる状況を扱う。従来のイベント構造を拡張し、確率的独立性、隠蔽、合成をサポートすることで、確率的戦略の双圏を構築し、並列で独立したトリガーを持つ勝利戦略を正確にモデル化する。これは、従来のモデルでは競合するイベントが最適でない確率割り当てを強制するという限界を解消する。

ABSTRACT

In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in concurrent games based on event structures. However there are limitations in founding strategies on traditional event structures. Sometimes a probabilistic distributed strategy relies on certain benign races where, intuitively, several members of team Player may race each other to make a common move. Although there are event structures which support such parallel causes, in which an event is enabled in several compatible ways, they do not support an operation of hiding central to the composition of strategies; nor do they support probability adequately. An extension of traditional event structures is devised which supports parallel causes and hiding, as well as the mix of probability and nondeterminism needed to account for probabilistic distributed strategies. The extension is tested in the construction of a bicategory of probabilistic distributed strategies with parallel causes. The bicategory is rich in operations relevant to probabilistic as well as deterministic parallel programming.

研究の動機と目的

• 1つの手番が複数の独立したイベント（並列原因）によって因果的に有効化される戦略をモデル化する際、従来のイベント構造の限界を解消すること。
• イベントが競合する状況下でも、限界的マルコフ条件を介して確率的独立性を保証する形式的枠組みを構築すること。
• 確率的および因果的構造を保持する形で、戦略の隠蔽と合成を可能にすること。
• 確率的および決定的並列プログラミングに適した操作をサポートする確率的分散戦略の双圏を構築すること。

提案手法

• 従来のイベント構造を拡張し、並列原因とイベントの互換性のある有効化を許容する、重複と因果関係を有するイベント構造（edc）を導入する。
• edc イベント構造に基づく新しい戦略クラスを定義し、確率的和、合成、および論理積をサポートする。
• 適合性条件を反映するコピーキャット項を導入し、因果的ワイヤリングを可能にするとともに、λ抽象化やプレフィックス操作を包含する。
• 戦略の再帰的定義を可能にする重複戦略 δA を開発し、相手が決定的である場合には決定的動作を示す。
• 下部要素を有する完全な部分順序を用いて、固定点意味論を介して再帰的戦略を定義する。
• 因果的に独立した移動が戦略モデル内でも確率的に独立のまま保たれるように、限界的マルコフ条件を適用する。

実験結果

リサーチクエスチョン

• RQ1 イベント構造は、1つの手番が複数の独立した同時原因によって有効化される戦略をどのようにモデル化できるか？
• RQ2 競合するイベントが存在する状況下でも、限界的マルコフ条件を保証する形で確率的戦略を合成できるか？
• RQ3 並列原因と確率的選択を許容するモデルにおいて、隠蔽と合成をどのようにサポートできるか？
• RQ4 確率的独立性と代替トリガー間の競合の両方をサポートするためには、イベント構造にどのような構造的拡張が必要か？
• RQ5 再帰、重複、並列合成といった豊富な操作をサポートする確率的戦略の双圏を構築できるか？

主な発見

• 本稿は、並列原因を有する確率的分散戦略の双圏を成功裏に構築し、従来のモデルで生じていた最適でない確率割り当ての問題を解消した。
• 並列原因を許容することで、複数の監視者が独立して1つの手番をトリガーする戦略を正しく捉え、限界的マルコフ条件が要請する確率的独立性を保持した。
• ゲームが相手に対して決定的である場合、重複戦略 δA は決定的動作を示し、再帰的定義を可能にするとともに、合成における結合則を保証する。
• 本モデルは確率的和、論理積、合成をサポートし、確率的および決定的並列プログラミングのための包括的なフレームワークを形成する。
• 隠蔽、確率的独立性、および競合するイベント構造を強制しないという点で、従来のモデルを一般化する。
• 本アプローチにより、「2人の監視者」ゲームのような戦略を正確にモデル化可能となり、確率的信頼性が低い状況下でも1つの手番が確実に勝利する状況を、トリガー間の競合を回避して並列有効化を許容することで再現できる。