[논문 리뷰] Compositionality and String Diagrams for Game Theory

Jules Hedges, Evguenia Shprits외 2명|arXiv (Cornell University)|2016. 04. 20.

Logic, Reasoning, and Knowledge참고 문헌 19인용 수 4

한 줄 요약

이 논문은 고전적 게임 이론의 구성성 결여 문제를 해결하기 위해 범주론을 활용하여 모듈러성, 계층적 구조, 확장성을 보장하는 구성적이고 도식적인 언어로서 스트링 다이어그램을 도입한다. 이는 병렬 및 순차적 합성, 그리고 추상화를 위한 박스화를 통해 전략적 상호작용에 대한 직관적이고 형식적인 추론을 가능하게 하며, 기능적 프로그래밍으로의 직접 번역을 통해 검증과 확장성도 보장한다.

ABSTRACT

We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics, quantum computing and quantum linguistic with the semantics given by category theory. We apply this language to the game theoretical setting and show examples how to use it for some economic games where we highlight the compositional nature of our higher-order game theory.

연구 동기 및 목표

• 기존 게임 이론의 구성성 부족 문제로 인해 대규모 경제 시스템에서의 확장성이 떨어지는 문제를 해결하기 위해.
• 원래 양자 이론과 컴퓨터 과학에서 유래된 스트링 다이어그램을 새로운 형식론으로 도입하여 게임의 표현과 합성을 가능하게 하기 위해.
• 경제학자들이 직관적인 도식적 문법을 사용하면서도 엄밀한 범주론적 의미론을 유지하는 방식으로 복잡한 게임을 모델링할 수 있도록 하기 위해.
• 추상적인 게임 이론 모델과 기계적으로 지원되는 확장 가능한 구현 간 격차를 해소하기 위해 스트링 다이어그램을 기능적 프로그래밍으로 직접 번역하기 위해.
• 도식적 합성성이 모듈러 추론, 재사용, 검증을 지원하는 방식으로 경제 모델링에 어떻게 기여하는지 보여주기 위해.

제안 방법

• 스트링 다이어그램을 사용하여 게임을 과정의 네트워크로 표현하며, 선은 상태 공간을 나타내고, 노드는 변환 또는 결정을 나타낸다.
• 범주론적 의미론을 적용하여 다이어그램 연산(합성, 텐서 곱, 박스화)이 잘 정의된 게임 이론적 연산과 대응됨을 보장한다.
• 병렬 및 순차적 합성을 사용하여 전략적 구조를 유지하면서 단순한 구성 요소들로부터 복잡한 게임을 구성한다.
• 박스화를 통해 하위 게임을 입력과 출력이 정의된 재사용 가능한 추상 모듈로 캡슐화한다.
• 스트링 다이어그램을 직접 하스켈 코드로 변환하여 자동 검증, 균형점 검사, 타입 안정성을 보장한다.
• 일致성 정리(coherence theorems)를 활용하여 다이어그램의 위상적 변형이 의미를 유지함을 보장하여 복잡한 수학적 세부 사항을 추상화한다.

실험 결과

연구 질문

• RQ1 게임 이론은 어떻게 구성적으로 개선되어 대규모 경제 모델의 구축을 지원할 수 있는가?
• RQ2 스트링 다이어그램은 전략적 게임과 그 합성을 위한 도식적이고 직관적이며 형식적으로 타당한 언어를 제공할 수 있는가?
• RQ3 스트링 다이어그램에서 박스화를 통해 얼마나 깊이 있는 계층적 게임 구조를 모델링하고 재사용할 수 있는가?
• RQ4 스트링 다이어그램의 범주론적 기반은 다이어그램 조작 과정에서 의미의 정확성과 불변성을 어떻게 보장하는가?
• RQ5 스트링 다이어그램은 기능적 프로그래밍 코드로 직접 컴파일되어 경제 모델링에서 자동 추론과 검증을 가능하게 할 수 있는가?

주요 결과

• 스트링 다이어그램은 병렬 및 순차적 합성을 통해 단순한 구성 요소들을 조합하여 복잡한 게임을 구성할 수 있는 구성적 프레임워크를 제공한다.
• 도식적 언어는 박스화를 통한 계층적 추상화를 지원하여 하위 게임을 입력과 출력이 명확히 정의된 모듈러이고 재사용 가능한 단위로 취급할 수 있도록 한다.
• 기초가 되는 범주론적 의미론은 다이어그램의 위상적 변형이 의미를 유지함을 보장하여, 저수준의 수학적 세부 사항을 추적하지 않더라도 형식적 정확성을 확보한다.
• 이 프레임워크는 스트링 다이어그램을 하스켈 코드로 직접 번역할 수 있게 하여 자동 검증, 균형점 검사, 소프트웨어 엔지니어링의 최선의 실천 방법과의 통합을 가능하게 한다.
• 이 방법은 특히 에너지 격자나 다층 시장 구조와 같은 대규모 복잡한 시스템에 대해 기존 게임 이론적 표현 방식에 비해 확장 가능한 대안을 제공한다.
• 이 방법은 도식적 형식론이 경제학에서 추론을 단순화하면서도 수학적 엄밀함을 유지할 수 있음을 보여주며, 전략적 상호작용을 모델링하기 위한 새로운 추상화 수준을 제공한다.