[논문 리뷰] Lyapunov stochastic stability and control of robust dynamic coalitional games with transferable utilities

Dario Bauso, Puduru Viswanadha Reddy외 1명|arXiv (Cornell University)|2011. 06. 09.

Game Theory and Voting Systems참고 문헌 19인용 수 3

한 줄 요약

이 논문은 전이 가능성이 있는 유틸리티를 가진 협력 게임에 대해 불확실성 하에서 강건한 동적 할당 규칙을 제안하며, 리아푸노프 확률적 안정성을 사용하여 평균 할당이 장기 평균 게임의 코어로 수렴하도록 보장한다. 이 방법은 누적 초과 수익(완전하거나 부분적으로 관측 가능)에 기반한 피드백 제어를 사용하여, 기저 확률 분포를 알지 못하더라도 거의 확실하게 코어로 수렴하고 초과 수익이 사전에 정의된 코너로 수렴하도록 보장한다.

ABSTRACT

This paper considers a dynamic game with transferable utilities (TU), where the characteristic function is a continuous-time bounded mean ergodic process. A central planner interacts continuously over time with the players by choosing the instantaneous allocations subject to budget constraints. Before the game starts, the central planner knows the nature of the process (bounded mean ergodic), the bounded set from which the coalitions' values are sampled, and the long run average coalitions' values. On the other hand, he has no knowledge of the underlying probability function generating the coalitions' values. Our goal is to find allocation rules that use a measure of the extra reward that a coalition has received up to the current time by re-distributing the budget among the players. The objective is two-fold: i) guaranteeing convergence of the average allocations to the core (or a specific point in the core) of the average game, ii) driving the coalitions' excesses to an a priori given cone. The resulting allocation rules are robust as they guarantee the aforementioned convergence properties despite the uncertain and time-varying nature of the coaltions' values. We highlight three main contributions. First, we design an allocation rule based on full observation of the extra reward so that the average allocation approaches a specific point in the core of the average game, while the coalitions' excesses converge to an a priori given direction. Second, we design a new allocation rule based on partial observation on the extra reward so that the average allocation converges to the core of the average game, while the coalitions' excesses converge to an a priori given cone. And third, we establish connections to approachability theory and attainability theory.

연구 동기 및 목표

• 모르고 시간에 따라 변하는 협력의 가치가 존재하는 상황에서도 평균 할당이 장기 평균 게임의 코어로 수렴하도록 보장하는 할당 규칙을 설계하는 것.
• 협력의 초과 수익을 사전에 지정된 코너 또는 방향으로 이끌어내어 동적 환경에서의 안정성과 공정성을 확보하는 것.
• 기본 확률 분포를 알지 못하더라도 누적 초과 수익의 부분적 또는 완전한 관측 하에서 기능하는 강건한 제어 법칙을 개발하는 것.
• 리아푸노프 확률적 안정성과 접근 가능성 및 도달 가능성 이론의 개념 간 이론적 연관성을 설정하는 것.
• 제한된 평균 에르고딕 과정을 통해 불확실성을 모델링하고, 잉여 누적에 기반한 피드백 메커니즘을 사용하여 동적 협력 게임에서의 안정성과 공정성을 확보하는 것.

제안 방법

• 중앙 기획자는 시간 t까지의 누적 초과 수익에 기반해 할당을 조정하는 동적 피드백 제어 법칙을 사용한다.
• 완전한 관측의 경우, 제어 법칙은 정확한 누적 초과 벡터를 사용하여 리아푸노프 함수 기반 설계를 통해 코어 내 특정 점으로 시스템을 이끌어낸다.
• 부분 관측의 경우, 제어 법칙은 초과 벡터의 부호 기반 근사치를 사용하며, 타당성과 안정성을 확보하기 위해 이득 파rameter δ를 사용한다.
• 제어 법칙은 리아푸노프 확률적 안정성 이론을 사용하여 유도되며, 정규화된 초과 벡터가 0으로 거의 확실하게 수렴함으로써 수렴성을 증명한다.
• 이 방법은 특성 함수의 유한 평균 에르고딕성을 기반으로 하며, 장기 평균 값이 잘 정의되어 있고 사전에 알려져 있음을 보장한다.
• 프레임워크는 예산 제약 조건과 포화 함수를 포함하여 할당을 타당한 범위 내에 유지하며, 명목 할당과 잉여를 기준점으로 사용한다.

실험 결과

연구 질문

• RQ1 협력의 가치가 불확실하고 시간에 따라 변할 경우, 평균 할당이 평균 게임의 코어로 수렴하도록 보장하는 할당 규칙은 어떻게 설계할 수 있는가?
• RQ2 초과 수익의 부분적 또는 완전한 관측 하에서 협력의 초과 수익이 사전에 지정된 코너 또는 방향으로 수렴하도록 보장하는 제어 전략은 무엇인가?
• RQ3 기본 확률 분포를 알지 못하는 동적 협력 게임에서 리아푸노프 확률적 안정성을 사용하여 거의 확실한 수렴을 보장하는 방법은 무엇인가?
• RQ4 누적 초과 수익은 시스템을 안정화하고 할당을 코어로 이끌어내는 데 어떤 역할을 하는가?
• RQ5 제안된 제어 법칙은 스토크래틱 제어 및 게임 이론에서의 접근 가능성 이론과 도달 가능성 이론과 어떻게 관련이 있는가?

주요 결과

• 초과 수익을 완전히 관측하는 제어 법칙은 정규화된 초과 벡터가 0으로 거의 확실하게 수렴함을 보장하며, 이는 평균 할당이 코어 내 특정 점으로 수렴함을 의미한다.
• 시뮬레이션 결과에 따르면 평균 할당은 장기적으로 명목 할당 벡터로 수렴함을 확인할 수 있으며, 시간 평균 할당이 명목 값으로 수렴함을 보여준다.
• 부분 관측 제어 법칙은 평균 할당이 확률적으로 코어로 수렴하며, 순시 할당이 명목 할당 주변의 이웃 영역에 위치함을 보장한다.
• 시뮬레이션 결과는 협력 {1,2}의 정규화된 초과 수익이 시간이 지남에 따라 0으로 수렴하는 것으로 나타나, 완전 및 부분 관측 하에서 이론적 수렴을 확인한다.
• δ = 1인 제어 법칙은 최소 및 최대 허용 값으로 정의된 범위 내에 할당을 유지함으로써 타당성을 보장한다. 이는 이득 파rameter의 보수적 추정을 통해 검증되었다.
• 이론적 프레임워크는 리아푸노프 확률적 안정성과 접근 가능성/도달 가능성 이론 간 공식적인 연결 고리를 설정하여, 동적 협력 게임의 분석적 기반을 풍부히 했다.