[논문 리뷰] From rules to runs: A dynamic epistemic take on imperfect information games

Kai Li, Yanjing Wang|arXiv (Cornell University)|2015. 12. 07.

Game Theory and Applications참고 문헌 21인용 수 3

한 줄 요약

이 논문은 불완전 정보 게임에서 게임 규칙과 게임 실행을 분리하는 동적 지식 체계를 제안하여, 플레이어 지식과 행동의 단계적 계산을 가능하게 한다. 완전한 공리계를 갖춘 모달 논리 체계를 도입하여, 구조적 유사성 하에서 전통적인 게임 이론에서의 개념적 혼동에도 불구하고 규칙과 실행을 혼합하는 것이 해로우지 않음을 보여준다.

ABSTRACT

In the literature of game theory, the information sets of extensive form games have different interpretations, which may lead to confusions and paradoxical cases. We argue that the problem lies in the mix-up of two interpretations of the extensive form game structures: game rules or game runs which do not always coincide. In this paper, we try to separate and connect these two views by proposing a dynamic epistemic framework in which we can compute the runs step by step from the game rules plus the given assumptions of the players. We propose a modal logic to describe players' knowledge and its change during the plays, and provide a complete axiomatization. We also show that, under certain conditions, the mix-up of the rules and the runs is not harmful due to the structural similarity of the two.

연구 동기 및 목표

• 게임 규칙와 게임 실행을 혼동함으로써 발생하는 광범위한 형태 게임 이론에서의 개념적 혼동을 해결하기 위해.
• 불완전 정보 환경에서 물리적 게임 규칙와 시간적 게임 실행 간의 구분을 체계화하기 위해.
• 플레이어의 지식 변화를 모델링하는 동적 지식 논리 체계를 개발하기 위해.
• 지식과 행동에 대해 추론할 수 있도록 제안된 논리의 완전한 공리계를 제공하기 위해.
• 구조적 유사성 하에서 규칙와 실행을 혼합하는 것이 추론 오류를 유발하지 않음을 보여주기 위해.

제안 방법

• 플레이어의 지식과 그 변화를 기술하기 위해 동적 지식 논리(LDEL)를 도입하기 위해.
• 규칙과 플레이어의 가정에서 단계적으로 게임 실행을 계산하는 업데이트 프로덕트 메커니즘을 정의하기 위해.
• 관측 능력과 기억을 통합하여 업데이트 과정에서 유도된 지식 상태를 사용해 플레이어의 지식을 모델링하기 위해.
• 게임 실행이 초기 규칙과 가정을 반복적인 업데이트를 통해 생성하는 형식적 의미론을 사용하기 위해.
• 신뢰할 수 있고 완전한 공리계 시스템을 통해 논리의 완전성을 확보하기 위해.
• 비완전 기억, 명시적 기억, 고차원 불확실성과 같은 확장 기능을 허용하기 위해 프레임워크를 적응시키기 위해.

실험 결과

연구 질문

• RQ1 광범위한 형태 게임에서 불완전 정보를 고려할 때, 게임 규칙와 게임 실행을 어떻게 체계적으로 분리할 수 있는가?
• RQ2 플레이어의 지식 변화를 게임 진행 동안 동적으로 모델링할 수 있는 논리 체계는 무엇인가?
• RQ3 규칙와 실행을 혼동하는 것이 문제가 되지 않는 조건는 무엇인가?
• RQ4 이러한 게임에서 지식과 행동을 모델링하는 논리에 대해 완전한 공리계를 제공할 수 있는가?
• RQ5 메모리, 동시성, 고차원 불확실성을 다룰 수 있도록 프레임워크를 어떻게 확장할 수 있는가?

주요 결과

• 이 프레임워크는 게임 규칙와 실행을 성공적으로 분리하여 광범위한 형태 게임 이론에서 오랫동안 지속된 개념적 애매함을 해결하였다.
• 제안된 동적 지식 논리(LDEL)는 완전하여 불완전 정보 게임에서 지식 변화를 추론하기 위한 체계적 기반을 제공한다.
• 업데이트 메커니즘은 규칙와 플레이어의 가정에서 단계적으로 게임 실행을 계산하여 동적 지식 추적을 가능하게 한다.
• 규칙와 실행 간의 구조적 유사성이 존재하므로, 개념적으로 별개임에도 불구하고 둘을 혼합하는 것이 항상 해로운 것은 아님을 설명한다.
• 모듈러 설계를 통해 비완전 기억, 명시적 기억, 고차원 불확실성과 같은 확장 기능을 지원한다.
• 모든 실행을 나열하지 않고도 모델 체킹이 가능하여 논리적 검증에 있어 계산 효율성을 제공한다.