Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of the moves made by the Opponent. In a situation where the Player and Opponent can make concurrent moves according to the game, and the Player cannot see the move of the Opponent, the move of the Player should be probabilistically independent of the move of the Opponent. What has been achieved is showing a bijection between strategies on a game with algebra and strategies on a regular (albeit more complex) game. We also succeeded in showing the results holds with neutral events. However it is still unclear if a well-formed bicategory of concurrent games with algebras can be defined. Our attempts to compose these strategies while managing the added structure didn't pan out. Concerning the other classic extensions of concurrent games the first results we presented show promise of a more general usage of games with algebra.
翻译:在信息不完美环境下,概率性的并发/分布式策略尚未得到深入研究——在该环境中,玩家仅拥有对手行动的部分知识。当玩家与对手可根据博弈规则并发行动,且玩家无法观察到对手行动时,玩家的行动应概率独立于对手行动。目前已取得的成果是证明了:在带代数的博弈上的策略与常规(但更复杂)博弈上的策略之间存在双射关系。我们还成功证明了该结论在包含中性事件时依然成立。然而,能否定义一个结构良好的并发博弈带代数双范畴仍不明确。我们在尝试组合这些策略并管理其附加结构时未能成功。关于并发博弈的其他经典扩展,我们提出的初步结果表明,带代数的博弈具有更广泛的应用前景。