Ex-Ante Agent Transformation of Bayesian Games
成果类型：
Article
署名作者：
Wu, Yuhu; Le, Shuting; Zhang, Kuize; Sun, Xi-Ming
署名单位：
Dalian University of Technology; Dalian University of Technology; Technical University of Berlin
刊物名称：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
ISSN/ISSBN：
0018-9286
DOI：
10.1109/TAC.2021.3122372
发表日期：
2022
页码：
5793-5808
关键词：
Bayesian game
Bayesian Nash equilibrium (BNE)
ex-ante agent game
incomplete information
potentiality preservation
semi-tensor product (STP) of matrices
摘要：
A new transformation that converts a Bayesian game to a so-called ex-ante agent game (a normal-form game) is proposed. Differently from the existing transformation proposed by R. Selten that changes a Bayesian game to an interim agent game (also a pure normal-form game), we prove that the new transformation preserves potentiality. In addition, there is a nonpotential Bayesian game whose ex-ante agent game is potential. We also prove that there is one-to-one correspondence between pure Bayesian Nash equilibria (BNE) of Bayesian games (if one exists) and pure Nash equilibria (NE) of the resulting ex-ante agent games. Then, we provide a sufficient and necessary condition for a Bayesian game to have an ex-ante agent potential game. By using these results, one can transform pure BNE seeking in Bayesian games to pure NE seeking in their ex-ante agent games [by using the potential functions of the ex-ante agent games (if one exists)], where previously pure BNE seeking in Bayesian games by using potential functions can only be done in Bayesian potential games (BPGs). Particularly, we prove for two-player games that BPGs are exactly the Bayesian games having ex-ante agent potential games. Furthermore, by using the semi-tensor product of matrices, a potential equation for finite Bayesian games is developed. Based on the potential equation, algorithms for verifying potentiality and for searching pure BNE in finite Bayesian games are designed. Finally, the results are applied to a routing problem with incomplete information.