[论文解读] A compositional approach to economic game theory

Neil Ghani, Jules Hedges|arXiv (Cornell University)|Mar 15, 2016

Economic theories and models被引用 8

一句话总结

本文通过使用弦图和范畴形式化将博弈建模为可组合的组件，提出了一种经济博弈论的组合框架。它通过新型算子递归地定义均衡，并引入了‘共效用’（coutility）——效用的对偶概念——以描述未来博弈结果如何影响当前效用，从而实现对复杂动态博弈的严格且直观的推理。

ABSTRACT

This paper aims to significantly impact the way we conceive of, reason about, and construct software for economic game theory. We achieve this by building an new and original model of economic games based upon the computer science idea of compositionality: concretely we i) give a number of operators for building up complex and irregular games from smaller and simpler games; and ii) show how the equilibria of these complex games can be defined recursively from the equilibria of their simpler components. We apply compositional reasoning to sophisticated games where agents must reason about how their actions affect future games and how those future games effect the utility they receive. This requires further originality --- we augment the usual lexicon of games with a new concept of coutility. This dual notion to utility arises because, in order for games to accept utility, this utility must be generated by other games. A third source of originality is the representation of our games as string diagrams so as to give a clear visual interface to manipulate them. Our fourth, and final, source of originality is a categorical formalisation of these intuitive string diagrams which guarantees our model is mathematically rigourous.

研究动机与目标

• 通过计算机科学中的组合性重新表述经济博弈论，实现从简单组件模块化构建复杂博弈。
• 解决建模问题：代理的当前行为影响未来博弈状态和长期效用。
• 引入‘共效用’作为效用的对偶概念，捕捉通过与其他博弈互动而产生的效用。
• 提供一种可视化且数学严谨的博弈操作接口，使用弦图和范畴形式化。

提出的方法

• 定义一组算子，将小型博弈组合为更大、不规则的博弈，支持分层博弈构建。
• 将复合博弈的均衡形式化为基于其组成部分博弈均衡的递归定义，确保各层级间的一致性。
• 引入‘共效用’作为效用的对偶，表示未来博弈对当前效用的贡献，支持逆向推理。
• 将博弈表示为弦图，提供直观的可视化界面，用于构建和操作博弈结构。
• 使用范畴形式化严格公理化弦图表示，确保数学一致性和组合合理性。
• 将这些元素整合为统一模型，支持对具有递归依赖关系的动态多阶段博弈进行推理。

实验结果

研究问题

• RQ1 如何使用组合算子从简单原始博弈系统性地构建复杂经济博弈？
• RQ2 如何从其组成部分博弈的均衡递归地定义复合博弈中的均衡？
• RQ3 ‘共效用’在建模未来博弈结果如何影响当前战略决策方面起什么作用？
• RQ4 弦图如何提供一种直观且形式化的界面，用于可视化和操作博弈结构？
• RQ5 范畴形式化在何种程度上确保了组合博弈模型的数学严谨性？

主要发现

• 本文成功定义了一种基于组件博弈均衡递归计算的经济博弈组合模型。
• 引入‘共效用’实现了效用的对偶视角，捕捉了未来博弈对当前效用和战略选择的影响。
• 弦图提供了清晰的博弈结构与组合的可视化表示，促进了直观的操作与推理。
• 范畴形式化保证了模型的数学严谨性，确保所有操作在一致性和组合合理性方面均成立。
• 该框架支持对复杂动态博弈的推理，其中代理必须预判未来博弈状态及其对效用的影响。