[논문 리뷰] Rationality and Escalation in Infinite Extensive Games

Pierre Lescanne|arXiv (Cornell University)|2011. 12. 06.

Computability, Logic, AI Algorithms참고 문헌 48인용 수 4

한 줄 요약

이 논문은 자원이 무한하다는 가정 하에 무한한 광범위 게임에서의 상승(예: 투기 시장 붕괴 또는 끝없는 입찰)이 이성적으로 정당화될 수 있음을 보여준다. 저자들은 Coq에서 무한한 게임과 전략 프로파일을 공인도적 추론을 통해 형식화하여, 유한 모델에서 '미친 행동'으로 간주되던 행동들이 무한한 자원 가정 하에서는 이성적으로 타당해짐을 증명한다. 이는 전통적인 게임이론적 직관에 도전한다.

ABSTRACT

The aim of this of this paper is to study infinite games and to prove formally some properties in this framework. As a consequence we show that the behavior (the madness) of people which leads to speculative crashes or escalation can be fully rational. Indeed it proceeds from the statement that resources are infinite. The reasoning is based on the concept of coinduction conceived by computer scientists to model infinite computations and used by economic agents unknowingly. When used consciously, this concept is not as simple as induction and we could paraphrase Newton: "Modeling the madness of people is more difficult than modeling the motion of planets".

연구 동기 및 목표

• 컴퓨터 과학에서의 공인도적 방법을 사용하여 무한한 광범위 게임을 형식화하는 것.
• 자원이 무한하다는 가정 하에 상승이 논리적으로 이성적임을 보여줌으로써, 기존에 게임에서의 상승이 비이성적이라는 관점을 도전하는 것.
• 유한한 게임에서의 균형이 무한한 게임으로 일반화되지 않음을 보여주며, 무한한 설정에서 새로운 유형의 균형이 존재함을 드러내는 것.
• 무한한 전략 프로파일과 게임 행동에 대한 추론을 위한 형식적 증명 프레임워크를 Coq를 사용해 제공하는 것.
• 논리학, 컴퓨터 과학(공인도적 추론), 게임 이론의 통찰을 융합하여 무한한 전략적 상호작용에서 발생하는 역설을 해결하는 것.

제안 방법

• 논문은 무한한 게임을 공인도적 정의를 사용하여 모델링하여, 무한한 깊이를 가진 재귀적 구조로 게임을 표현한다.
• 전략 프로파일을 공인도적으로 정의하여, 종료 노드가 필요 없이 무한한 결정의 순서를 허용한다.
• Coq 증명 보조도구를 사용한 공식적 구현을 통해 무한한 구조에 대한 추론의 정확성을 보장한다.
• 저자들은 무한한 게임에서의 불변성과 균형 성질을 증명하기 위해 후행 공인도적 추론을 사용한다.
• 무한한 맥락에서의 보상과 선호도를 다루기 위해 전순서를 사용한 일반화된 유틸리티 프레임워크를 도입한다.
• $0,1$ 게임 예시를 사용하여, 무한한 재귀가 끝없는 유한 근사와 다를 바 있는 이성적 균형으로 이어지는 방식을 설명한다.

실험 결과

연구 질문

• RQ1 자원이 무한할 경우 게임에서의 상승이 이성적으로 정당화될 수 있는가?
• RQ2 유한한 게임에서의 표준 게임이론적 균형이 왜 무한한 게임으로 일반화되지 않는가?
• RQ3 공인도적 추론은 어떻게 무한한 전략 프로파일을 형식화하고 그 성질을 증명하는 데 적용될 수 있는가?
• RQ4 무한한 자원 가정이 보기에 비이성적인 행동을 이성적으로 만드는 데 어떤 역할을 하는가?
• RQ5 균형 존재성과 구조 측면에서 무한한 게임은 그 유한한 근사와 어떻게 다를까?

주요 결과

• 자원이 무한하다는 가정 하에 무한한 게임에서의 상승은 비이성적이지 않으며 논리적으로 일관된다.
• $0,1$ 게임은 공인도적 추론 하에서 존재하지 않는, 끝없는 유한 근사와 다를 바 있는 이성적 균형을 보인다.
• 유한 게임의 균형은 무한 게임의 균형으로 수렴하지 않으며, 이는 유한 모델과 무한 모델 사이에 근본적인 차이가 있음을 시사한다.
• 공인도적 추론은 무한한 게임과 전략 프로파일에 대한 추론을 위한 형식적 프레임워크를 제공하여, 유한 사례에서의 잘못된 외삽을 수정한다.
• 논문은 무한한 극한이 유한한 근사와 다를 수 있다는, 위어스트라스 유형의 현상이 게임 이론에서도 발생함을 보여준다.
• Coq를 사용하여 저자들은 무한한 전략 프로파일이 이성적 균형을 지지할 수 있음을 공식적으로 검증함으로써, 공인도적 접근의 타당성을 입증한다.