[논문 리뷰] Deconstruction of Infinite Extensive Games using coinduction

Pierre Lescanne|ArXiv.org|2009. 04. 22.

Game Theory and Applications참고 문헌 19인용 수 4

한 줄 요약

이 논문은 무한 광역 게임을 형식화하기 위한 공인두적 프레임워크를 제안하며, 무한 전략 프로파일의 맥락에서 나시 균형과 부분게임 완전 균형과 같은 핵심 게임이론 개념을 재정의한다. 공인두성을 사용하여, 달러 경매 게임에서의 격상과 같은 행동들이 논리적으로 합리적임을 보여주며, 인간의 비합리성은 유한 모델링 가정의 산물일 뿐 잘못된 추론이 아니라는 점을 드러내어 오랫동안 지속된 역설을 해결한다.

ABSTRACT

Finite objects and more specifically finite games are formalized using induction, whereas infinite objects are formalized using coinduction. In this article, after an introduction to the concept of coinduction, we revisit on infinite (discrete) extensive games the basic notions of game theory. Among others, we introduce a definition of Nash equilibrium and a notion of subgame perfect equilibrium for infinite games. We use those concepts to analyze well known infinite games, like the dollar auction game and the centipede game and we show that human behaviors that are often considered as illogic are perfectly rational, if one admits that human agents reason coinductively.

연구 동기 및 목표

• 기존 문헌에서의 엄밀한 다루움 부족을 해결하기 위해 공인두성을 사용하여 무한 광역 게임을 형식화하는 것.
• 달러 경매와 지네게임과 같은 무한 게임의 역설을 해결하기 위해 무한 전략 프로파일을 위한 균형 개념을 재정의하는 것.
• 무한 게임은 유한 게임의 극한으로 이해할 수 있다는 가정을 도전하며, 이러한 추론이 잘못됨을 보여주는 것.
• 공인두적 모델링을 통해 인간의 행동, 예를 들어 격상 행동이 비합리적으로 여겨지던 것이 실제로는 합리적임을 보여주는 것.
• Coq를 사용하여 모든 공인두적 정의와 균형 성질을 형식적으로 검증하고 정확성을 보장하는 것.

제안 방법

• 무한 게임, 무한 전략 프로파일, 무한 역사와 같은 개념을 공인두적 타입으로 정의한다.
• 종료 조건이 필요로 하지 않는 관찰 기반의 공재귀 함수를 사용하여 유용성과 보상 함수를 정의한다.
• 부전략 비교와 보상 관찰에 기반한 공인두적 부분게임 완전 균형(SGPE) 정의를 도입한다.
• 공인두 원리를 적용하여 '항상 포기하기' (agu)와 '절대 포기하지 않기' (ngu)와 같은 전략이 나시 균형임을 증명한다.
• 매개변수화된 공인두 방정식(예: cofix포인트)을 사용하여 agu와 ngu와 같은 전략을 재귀 방정식의 해로 정의한다.
• 증명 보조도구 Coq를 사용하여 모든 공인두 정의와 균형 성질을 형식적으로 검증한다.

실험 결과

연구 질문

• RQ1 공인두성은 무한 광역 게임과 그 균형을 정의하기 위한 엄밀한 기초를 제공할 수 있는가?
• RQ2 기존의 유한 게임 외삽은 왜 무한 게임에서의 역설적인 행동, 예를 들어 달러 경매의 격상 행동을 설명하지 못하는가?
• RQ3 '달러 경매'에서의 격상 행동은 공인두 추론을 사용할 경우 논리적으로 합리적인가?
• RQ4 뒤로 거꾸로 추론이 실패하는 무한 게임에서 부분게임 완전 균형은 어떻게 정의하고 검증할 수 있는가?
• RQ5 공인두 추론은 왜 인간이 무한 게임에서 기존에 비합리적이라고 여겨졌던 방식으로 행동하는지를 설명할 수 있는가?

주요 결과

• '항상 포기하기' (agu) 전략은 공인두 추론을 사용하여 부분게임 완전 균형으로 엄밀히 증명되었다.
• '절대 포기하지 않기' (ngu) 전략은 종료 노드에 도달하지 않더라도 공인두 보상 관찰 덕분에 나시 균형임을 입증되었다.
• agu와 ngu 전략 모두 나시 균형이므로, 종료되지 않더라도 무한 게임에서 다수의 균형이 존재할 수 있음을 보여준다.
• 논문은 공인두 추론 하에서 달러 경매의 격상 행동이 합리적임을 입증하여, 이것이 비논리적이라는 관점에 도전한다.
• Coq로 검증된 증명들은 공인두 정의의 유용성과 균형이 일관되며 올바른 결과를 도출함을 확인한다.
• 유한 게임의 극한이 무한 게임에 대해 유효한 결과를 도출하지 못함을 보여주며, 일반적인 외삽 방법의 오류를 드러낸다.