组合博弈论的组合式研究
计算机科学中的逻辑
2021-01-29 v1 范畴论
摘要
我们提出了一种基于 Arrows 的组合博弈论（CGT）新组合方法，Arrows 最初源自函数式编程，与 Tambara 模密切相关，并可用于从旧 Arrow 构建新 Arrow 的算子。我们将均衡建模为 Arrow 上的双模，并定义一个算子以从现有 Arrow 上的此类双模构建新 Arrow。我们还将策略建模为分次 Arrow，并定义一个通过取分次 Arrow 的余极限来构建新 Arrow 的算子。最后一个算子从分次双模构建分次 Arrow。我们利用这种 CGT 的组合方法，展示了已知和先前未知的开博弈变体如何被证明构成对称幺半群范畴。
引用
@article{arxiv.2101.12045,
title = {Compositional Game Theory, Compositionally},
author = {Robert Atkey and Bruno Gavranović and Neil Ghani and Clemens Kupke and Jérémy Ledent and Fredrik Nordvall Forsberg},
journal= {arXiv preprint arXiv:2101.12045},
year = {2021}
}
备注
In Proceedings ACT 2020, arXiv:2101.07888