[논문 리뷰] Characterizing Solution Concepts in Games Using Knowledge-Based Programs

Joseph Y. Halpern, Yoram Moses|ArXiv.org|2006. 10. 16.

Game Theory and Applications참고 문헌 23인용 수 16

한 줄 요약

이 논문은 지식 기반 프로그램(kb-programs)을 사용하여 게임 이론의 핵심 해 개념들—나시 균형, 상관 균형, 순차적 균형, 합리 가능성 균형—을 통합한다. 이들 개념은 모두 동일한 kb-프로그램 변형에서 유도되며, 공통 사전 확률, 전략의 독립성, 또는 비표준 확률의 사용과 같은 맥락적 가정에 따라 차이를 보인다.

ABSTRACT

We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms of \emph{knowledge-based programs}. Intuitively, all solution concepts are implementations of two knowledge-based programs, one appropriate for games represented in normal form, the other for games represented in extensive form. These knowledge-based programs can be viewed as embodying rationality. The representation works even if (a) information sets do not capture an agent's knowledge, (b) uncertainty is not represented by probability, or (c) the underlying game is not common knowledge.

연구 동기 및 목표

• 지식 기반 프로그램을 사용하여 주요 게임 이론적 해 개념들을 통일적으로 기술하는 것.
• 기존 게임 표현 방식의 한계, 특히 정보 집합이 에이전트의 실제 지식을 정확히 반영하지 못할 수 있는 광범위한 형태 게임에서의 정보 집합 문제를 다루는 것.
• 공통 지식의 게임, 확률적 불확실성, 완전 기억 등 표준 가정을 초월한 해 개념의 확장.
• 공통 지식의 합리성에 기반한 단일 kb-프로그램 프레임워크 내에서 기존의 합리 가능성과 상관 균형 결과를 통합하는 것.
• 비표준 설정, 예를 들어 완전 기억이 없거나 비확률적 불확실성이 존재하는 경우에도 해 개념을 포괄할 수 있음을 보여주는 것.

제안 방법

• 실행 및 시스템 프레임워크에서 국소 상태를 통해 에이전트의 지식을 표현하고, 전통적인 정보 집합을 대체한다.
• 정규형 게임용(EQNF^Γ)과 광범위형 게임용(EQEF^Γ) 두 가지 핵심 kb-프로그램을 정의하며, 모두 합리성을 최적 반응 행동으로 표현한다.
• kb-프로그램 내 지식 테스트(예: '안이 정보를 수신했음을 알지 못하면 메시지를 전송')를 사용하여 현재 지식 기반의 의사결정을 모델링한다.
• 비표준 확률 측도를 사용하여 미세한 변동을 포착하고, 순차적 균형과 완전 균형의 특성화를 가능하게 한다.
• 비표준 확률 측도 ν를 포함한 맥락(G₀, ν)에서 kb-프로그램의 구현을 정의하며, 기대 효용의 표준 부분을 평가 기준으로 사용한다.
• 맥락적 가정을 변화시켜 해 개념을 구분한다: 공통 사전확률(Nash, 상관, 순차적), 전략의 독립성(Nash, 합리 가능성), 또는 비표준 기대효용(완전 균형).

실험 결과

연구 질문

• RQ1 모든 표준 게임 이론적 해 개념들이 단일 지식 기반 프로그램 프레임워크를 통해 통일적으로 기술될 수 있는가?
• RQ2 정보 집합이 에이전트의 실제 지식을 반영하지 못하는 게임에서 지식 기반 프로그램은 어떻게 합리성을 모델링하는가?
• RQ3 공통 지식의 게임이나 확률적 불확실성이 없는 설정으로 해 개념을 얼마나 넓게 확장할 수 있는가?
• RQ4 비표준 확률 측도는 영확률 정보 집합을 가진 게임에서 순차적 및 완전 균형을 어떻게 특성화하는가?
• RQ5 공통 사전확률이나 전략의 독립성과 같은 맥락적 가정이 kb-프로그램 프레임워크에서 도출되는 해 개념에 어떻게 영향을 미치는가?

주요 결과

• 모든 표준 해 개념(Nash, 상관, 순차적, 합리 가능성)은 동일한 지식 기반 프로그램으로 기술 가능하며, 차이는 맥락적 가정에 의해 결정된다.
• 정규형 게임용 kb-프로그램 EQNF^Γ와 광범위형 게임용 EQEF^Γ는 모두 기대에 대한 최적 반응으로서의 합리성을 통일적으로 모델링한다.
• 완전 기억이 있는 게임에서는, 순차적 균형이 존재함과 동시에 공통 사전확률을 가진 비표준 확률 측도 ν가 존재할 때, kb-프로그램이 균형 조건을 구현함과 동치이다.
• 비표준 확률은 무한소 기대효용 차이를 모델링할 수 있게 하며, 이를 통해 'EU_i = x'를 비표준 실수에서 해석함으로써 완전 균형을 특성화할 수 있다.
• 정보 집합이 실제 지식을 반영하지 못하거나, 불확실성이 비확률적일 경우, 또는 게임이 공통 지식가 아닐 경우에도 이 프레임워크는 유효하다.
• 결과적으로, 해 개념은 공통 지식의 합리성에 맥락 특화 기능(예: 공통 사전확률, 전략의 독립성)을 더해 도출될 수 있으며, 이는 이전의 합리 가능성과 상관 균형 결과를 통합한다.