paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Compositional Game Theory

可组合博弈论
LICS Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science2018匹配度 2/10 · 该论文属于博弈论与范畴论/形式语义的交叉,提出开放博弈的可组合基础,与用户关注的静态分析、LLM/Agentic 程序、浮点程序分析、贝叶斯程序分析等核心方向没有直接关系。虽然形式语义与组合性可能对程序语言理论有启发,但论文目标并非程序分析或 LLM/Agent 工具。引用 5 inbox
Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn
crossref: 2026-09-12

AI 速览

一句话:提出开放博弈,以对称幺半范畴与弦图给出博弈论的可组合基础,并保持纳什均衡。

本文提出“开放博弈”(open games),旨在为经济博弈论建立可组合的基础。标准博弈论工具难以处理大规模经济模型,而可组合方法有望把博弈论与理论计算机科学的方法结合,应用于此类模型。开放博弈表示相对于任意环境进行的博弈,其核心新概念是“共效用”(coutility),即开放博弈产生并返回给环境的效用。开放博弈构成对称幺半范畴的态射,因此既可通过范畴组合形成序贯行动博弈,也可通过幺半乘积形成同时行动博弈。它们还能用弦图表示,直观而形式化地展示信息流。作者证明,多种博弈可被忠实表示为开放博弈,即保持相同的纳什均衡与偏离均衡的最优反应。

问题
标准经济博弈论工具难以实用地处理大规模经济模型,缺乏可组合的博弈论基础。
方法
将开放博弈定义为对称幺半范畴的态射,引入 coutility 描述返回环境的效用,并用范畴组合、幺半乘积和弦图表示序贯与同时博弈。
评估
证明多种博弈可忠实表示为开放博弈,保持相同 Nash 均衡和 off-equilibrium 最优反应。
原文摘要(Abstract)

We introduce open games as a compositional foundation of economic game theory. A compositional approach potentially allows methods of game theory and theoretical computer science to be applied to large-scale economic models for which standard economic tools are not practical. An open game represents a game played relative to an arbitrary environment and to this end we introduce the concept of coutility, which is the utility generated by an open game and returned to its environment. Open games are the morphisms of a symmetric monoidal category and can therefore be composed by categorical composition into sequential move games and by monoidal products into simultaneous move games. Open games can be represented by string diagrams which provide an intuitive but formal visualisation of the information flows. We show that a variety of games can be faithfully represented as open games in the sense of having the same Nash equilibria and off-equilibrium best responses.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4333,
  title = {Compositional Game Theory},
  author = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn},
  booktitle = {LICS},
  year = {2018},
  doi = {10.1145/3209108.3209165}
}