纳什均衡与双模拟不变性
摘要：博弈理论为并发和多智能体系统的分析提供了一个成熟的框架。基本思想是，并发进程（智能体）可以理解为游戏中的玩家；玩家行动代表系统的可能计算运行方式；策略定义了智能体的行为。典型地，策略被建模为从系统状态序列到玩家行动的函数。在这样的背景下分析系统意味着计算并发游戏中的（纳什）均衡集合。然而，我们发现，在上述策略模型（即计算机科学文献中的"标准"模型）中，经过等价关系的系统并不保留纳什均衡的存在性。因此，从语义角度来看，两个行为等价的并发游戏，从逻辑角度来看满足相同的时间逻辑公式，但从博弈论的角度来看，可能有根本不同的特性（解法）。本文的目的是探索这个发现所带来的问题。在通过一个激励性的例子说明这个问题之后，我们提出了三个策略模型，这些模型在等价关系下保留了纳什均衡的存在性。我们使用其中一些策略模型为战略推理的逻辑提供新的语义基础，并研究了在计算机科学文献中的传统策略模型下，等价关系可以保留纳什均衡存在性的限制性场景。
作者：Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge
论文ID：1808.09213
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22