[논문 리뷰] A compositional approach to economic game theory

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

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 범주론적 형식화는 조합 게임 모델의 수학적 엄밀성을 어떻게 보장하는가?

주요 결과

• 논문은 구성 요소 게임의 균형으로부터 재귀적 균형 계산을 기반으로 한 조합적 게임 모델을 성공적으로 정의하였다.
• 코유틸리티의 도입은 유용성의 쌍대적 관점 제공을 가능하게 하여, 미래 게임이 현재 유용성과 전략적 선택에 미치는 영향을 포괄적으로 기술할 수 있게 하였다.
• 문맥 다이어그램은 게임 구조와 조합의 명확한 시각적 표현을 제공하여 직관적인 조작과 추론을 가능하게 하였다.
• 범주론적 형식화는 모델의 수학적 엄밀성을 보장하여 모든 연산에 걸쳐 일관성과 조합적 타당성을 확보하였다.
• 이 프레임워크는 에이전트가 향후 게임 상태와 그에 따른 유용성에 미치는 영향을 예측해야 하는 복잡하고 동적인 게임에 대해 추론할 수 있도록 지원한다.