合成全信息协议
摘要：具有不完全信息的游戏模型中的显式通信行为的解决方案 用于处理具有明确的通信行为的不完全信息游戏模型，其中玩家的全部观察历史可以被另一个玩家看到。这种完整信息协议在异步分布式系统中很常见；在这里，我们考虑的是一个同步环境中的单个主动玩家，该玩家可以与多个被动观察者在一个不确定的环境中进行通信。我们提出了一种解决基本策略合成问题的程序，在满足常规获胜条件的情况下。 我们在不完全信息游戏的抽象框架中提出了我们的解决方案，并将证明分为两个概念部分：(i)不完全信息游戏到完整信息游戏的通用约简模式，(ii)满足约简模式要求的完整信息协议的具体构建。
作者：Dietmar Berwanger, Laurent Doyen, Thomas Soullard
论文ID：2307.01063
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-04