[论文解读] Strategies with Parallel Causes

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

Advanced Database Systems and Queries被引用 3

一句话总结

本文提出事件结构中的复制与因果性（edc）策略，用于建模具有并行原因的随机分布式博弈，其中单个走法可由多个独立事件触发。该方法扩展了传统事件结构，支持随机独立性、隐藏机制与组合操作，从而构建出一个精确描述具有并发、独立触发机制的获胜策略的随机策略双范畴，解决了以往模型中冲突事件导致次优概率分配的局限性。

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.

研究动机与目标

• 为解决传统事件结构在建模单个走法可被多个独立事件（并行原因）因果触发的策略时的局限性。
• 开发一种形式化方法，即使事件之间存在冲突，也能通过有限马尔可夫条件支持随机独立性。
• 在保留随机与因果结构的前提下，支持策略的隐藏与组合操作。
• 构建一个支持概率与确定性并行编程相关操作的随机分布式策略双范畴。

提出的方法

• 引入事件结构中的复制与因果性（edc），扩展传统事件结构以支持并行原因及事件的兼容性触发。
• 定义基于edc事件结构的新一类策略，支持概率和、组合与合取操作。
• 引入复制猫项（copycat terms）以反映兼容性条件，支持因果布线，并涵盖λ-抽象与前缀操作等。
• 提出复制策略δA，支持策略的递归定义，当对手的游戏为确定性时，其行为亦为确定性。
• 使用带有最小元素的完全偏序定义递归策略，基于不动点语义。
• 应用有限马尔可夫条件，确保因果独立的走法在策略模型中保持随机独立。

实验结果

研究问题

• RQ1 事件结构如何建模单个走法由多个独立并发原因触发的策略？
• RQ2 在组合策略时能否保持有限马尔可夫条件，确保因果独立的事件在策略中保持随机独立？
• RQ3 在支持并行原因与随机选择的模型中，如何实现隐藏与组合操作？
• RQ4 为同时支持随机独立性与替代触发之间的冲突，事件结构需要哪些结构扩展？
• RQ5 能否构建一个支持丰富操作（如递归、复制与并行组合）的随机策略双范畴？

主要发现

• 本文成功构建了一个支持并行原因的随机分布式策略双范畴，解决了以往模型中次优概率分配的问题。
• 通过允许并行原因，该模型正确捕捉了多个观察者独立触发单个走法的策略，且符合有限马尔可夫条件对随机独立性的要求。
• 当游戏对对手为确定性时，复制策略δA为确定性行为，支持递归定义并确保组合的结合律。
• 该模型支持概率和、合取与组合操作，构成一个支持随机与确定性并行编程的丰富框架。
• 该框架通过支持隐藏、随机独立性与组合操作，且不强制冲突事件结构，推广了先前模型。
• 该方法可准确建模如“双观察者”博弈等策略：尽管触发机制具有随机可靠性，但单个走法仍能以确定性获胜，通过允许无冲突的并行触发实现。