[논문 리뷰] Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets

Krzysztof R. Apt, Jonathan A. Zvesper|ArXiv.org|2007. 10. 18.

Game Theory and Applications참고 문헌 25인용 수 7

한 줄 요약

이 논문은 가능성 대응과 공개 발표를 사용하여 임의의 전략적 게임에서 비최적 전략의 반복적 제거에 대한 통합적인 지식 기반을 제공한다. 진정한 공통 신념이 단조성 및 전역성 성질(예: 합리성 가능성과 엄격 지배)일 경우, 이는 전순서 반복 제거를 견디는 전략과 정확히 일치하며, 공개 발표를 통해 단조성 조건을 필요로 하지 않는 다른 특성화를 제공한다.

ABSTRACT

We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. We first establish a generic result that links true common beliefs (and, respectively, common knowledge) of players' rationality defined by means of `monotonic' properties, with the iterated elimination of strategies that do not satisfy these properties. It allows us to deduce the customary results concerned with true common beliefs of rationality and iterated elimination of strictly dominated strategies as simple corollaries. This approach relies on Tarski's Fixpoint Theorem. We also provide an axiomatic presentation of this generic result. This allows us to clarify the proof-theoretic principles assumed in players' reasoning. Finally, we provide an alternative characterization of the iterated elimination of strategies based on the concept of a public announcement. It applies to `global properties'. Both classes of properties include the notions of rationalizability and the iterated elimination of strictly dominated strategies.

연구 동기 및 목표

• 유한하거나 컴act 게임을 초월하여 가능성 대응을 사용한 임의의 전략적 게임에 대한 일반적인 지식 기반 프레임워크를 제공한다.
• 단조성 성질에 대한 진정한 공통 신념과 비최적 전략의 반복적 제거 사이의 일반적 연결 고리를 확립한다.
• 고정점 이론과 공리적 서술를 통해 지식 기반 추론의 논리적 기초를 명확히 한다.
• 공개 발표를 통해 반복적 제거의 결과를 특성화하는 데 있어 단조성 조건을 필요로 하지 않는 다른 특성화를 제공한다.
• 지식 게임 이론에서 단조성과 전역성의 역할을 구분하고 분석한다.

제안 방법

• 단조성 성질 기반의 전순서 반복 제거를 견디는 전략 집합을 고정점 이론으로 특성화하기 위해 Tarski의 고정점 정리를 사용한다.
• 플레이어 전략에 대한 단조성, 전역성, 국소성 성질을 정의하며, 단조성이 고정점 기반 추론을 가능하게 한다.
• 가능성 대응을 통해 플레이어의 신념과 합리성 또는 기타 성질에 대한 공통 신념을 모델링한다.
• 특히 최대 고정점 기반 추론 규칙을 형식화하기 위해 공리 체계를 도입한다.
• 공개 발표를 통해 반복적 제거의 결과를 특성화하며, 전역성 성질에 대해서는 고정점 기반 접근과 동치임을 보여준다.
• 지배성과 합리성의 국소적 및 전역적 형태를 구분하며, 공개 발표 특성화를 위해서는 전역적 형태가 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 단조성 성질에 대한 공통 신념을 임의의 게임에서 비최적 전략의 반복적 제거와 지식적으로 연결할 수 있는가?
• RQ2 단조성이 전략적 게임의 고정점 기반 지식 기반 분석을 가능하게 하는 데 어떤 역할을 하는가?
• RQ3 공개 발표를 통해 단조성 조건 없이도 반복적 제거 결과를 특성화할 수 있는가?
• RQ4 지배성과 합리성과 같은 성질의 전역적 및 국소적 형태는 지식 기반에서 어떻게 다를 수 있는가?
• RQ5 어떤 조건에서 공통 신념에 기반한 전략 집합이 반복적 제거를 견디는 전략 집합과 일치하는가?

주요 결과

• 합리성 가능성이나 엄격 지배성과 같은 단조성 성질에 대한 진정한 공통 신념은 플레이어가 전순서 반복 제거를 견디는 전략만 선택함을 의미한다.
• 유한 게임에서는 국소 성질(예: 국소 약한 지배)을 사용한 반복적 제거 결과와 공개 발표를 통한 전역 성질의 결과가 일치한다.
• 공개 발표의 사용은 비단조성 전역 성질(예: 약한 지배)에 대해서도 제거를 견디는 전략을 특성화할 수 있도록 한다.
• 공리적 서술는 전순서 반복이 최대 고정점 기반 단일 추론 규칙으로 포괄될 수 있음을 명확히 한다.
• 게임이 유한할 경우, 표준 지식 모델은 전역 성질의 공개 발표 결과와 동치이다.
• 조건(A)를 만족하는 전역 성질에 대해서는, 비단조성 성질(예: 약한 지배)일지라도 공개 발표가 반복적 제거 과정과 동일한 결과를 낳는다.