Hidden Markov Bayesian Game with Application to Chinese Education Game
 Wen He^{1} and
 Jinwu Gao^{2}Email author
DOI: 10.1186/s4046701600450
© He and Gao. 2016
Received: 30 September 2015
Accepted: 4 March 2016
Published: 11 March 2016
Abstract
In real game situations, players are often not perfectly informed about true states but can observe signals, and decisionmaking may involve several periods. In order to formulate such situations, this paper uses a hidden Markov model to describe the state process, thus introducing a repeated game with hidden Markovian states, called hidden Markov Bayesian game. For the new model, a notion of Nash equilibrium is presented and an algorithm is developed to facilitate obtaining the equilibrium quickly. An analysis of the Chinese education game shows that the observed signals play an important role in analyzing players’ behavior.
Keywords
Bayesian game Repeated game Hidden Markov model Nash equilibriumIntroduction
Game models have been successfully applied in various areas, including operation research, computer science, and social science. They are able to formulate and analyze complex interactions between decisionmakers, such as investors in financial markets, firms along a supply chain, and countries with conflicting interests. Realistic features—e.g., dynamic decisions, imperfect information, and behavioral elements—are usually incorporated by game models to reflect reallife situations.
According to decisionmaking structure (e.g., static or dynamic) and information structure (e.g., perfect or imperfect information), game models can be classified into different types. Various equilibrium notions that refine the Nash equilibrium have been invented in order to describe players’ strategies in the different types of games [1]. For dynamic games with sequential or simultaneous moves, the subgame perfect equilibrium is usually used to characterize players’ rational choices [2]; the grim trigger strategy is also a reasonable alternative for players in repeated games [3]. Regarding information aspects, Bayesian games consider imperfect or incomplete information scenarios where players have beliefs on uncertain factors and aim to maximize their respective expected utilities [4]. By Harsanyi’s approach [5] of introducing nature as a player, games of incomplete information can be converted to games of imperfect information.
In this paper, we propose a repeated game with hidden Markovian states, called hidden Markov Bayesian game. Starting with the repeated game, the proposed model considers situations where at each period, players are not aware of the actual state but can observe signals that are driven by the state. Particularly, the state process over the periods is modeled by a hidden Markov model (HMM); in an HMM [6], states follow a Markov process, and beliefs on them can be updated over time based on the observed sequence of signals.
Specifically, the proposed game model proceeds as follows. At the beginning of each period, a nature state is realized and each player observes a signal that may provide information about the state. Then, players simultaneously choose actions. Then, the next period begins, and the procedure is repeated. Note that their payoffs cannot be realized until the end of the final period (this assumption is consistent with a lot of previous literature [7]). We also define a Nash equilibrium for the model. At the Nash equilibrium, each player chooses a strategy to maximize the expectation of his total payoff over all periods, given his signal observations and the other players’ strategies. Moreover, we design an algorithm to quickly calculate the probability distributions of hidden states under all possible signal sequences. These probability distributions are essential to obtaining the model’s equilibria.
Furthermore, the proposed model is able to capture many reallife situations and produce insights. For example, we apply it to controversial Chinese education issues. From the perspective of the static game with perfect information, schools, overwhelmed by examinationoriented education, are trapped in the classic prisoner’s dilemma. But our model is capable to shed light on the dynamic and informational aspects. The results show that schools tend to prefer examinationoriented education if the education policy keeps changing. Also, schools lacking information might keep choosing their previous way of education.
The main feature that differentiates our model from existing game models is that we introduce signals into our model and then describe nature states as an HMM. In stochastic games [8], players choose actions, for multiple periods, not knowing the actual states. But different from our model, stochastic games do not consider signals that players may receive. In dynamic games with incomplete information [9], a player can view another player’s action as a signal in order to update his belief on the unobservable state (often referring to some player’s type). But signals in our model are defined to be some information observed outside the game (which cannot be maneuvered by opponents) rather than opponents’ actions.
The HMM provides a theoretical tool to describe signal process systems and has been widely applied to speech recognition [10], activity sequences [11], etc. For example, Netzer et al. [12] proposes an HMM to model latent customerfirm relationship states and customer buying behavior (signals). Dias and Ramos [13] gave a dynamic clustering of energy by an extended hidden Markov approach. Ansari et al. [14] and Kujala et al. [15] employed hidden Markov approaches to analyze some game situations. Since our model considers both nature states and observable signals over multiple periods, applying the HMM in a game context—although different from existing approaches—is appropriate in our setting.
The rest of this paper is organized as follows. In the “Preliminaries” section, we provide a brief review on the concepts of finitely repeated games, Bayesian games, and hidden Markov models. In the “Model: Hidden Markov Bayesian Game” section, we introduce our model and defined its Nash equilibrium. The algorithm is provided in the “Algorithm” section. We apply our model to education issues in the “Application” section and concluded in the “Conclusions” section.
Preliminaries
Finitely Repeated Game
In a repeated game, players make actions simultaneously over multiple periods [16]. It can be further categorized into two types based on the number of periods, namely, finitely and infinitely. Our model is based on the framework of the finitely repeated game. A finitely repeated game is defined as follows:
Definition 1.

N is a finite set of n players

A _{ i } is a set of actions available for i∈N, action profile is denoted as A=×_{ i∈N } A _{ i }

u _{ i } is the payoff function of i∈N at every period, \(u_{i} : A \rightarrow \mathcal {R}\)

δ is the discount factor, 0≤δ≤1

T is the number of the periods.
The discount factor δ reflects time’s effect on the payoff. For example, the payoff at period t should be multiplied by δ ^{ t−1} when calculating the total payoff over all the periods.
Bayesian Game
Our model carries out a Bayesian game at each period. A key component in the specification of a Bayesian game is the set of states [16]. At the start, a state is realized but is not observable to players. Players have prior beliefs on the states and can update their beliefs after observing signals based on Bayes’ rule. At the (Bayesian) Nash equilibrium, players maximize their expected payoffs. A Bayesian game can be defined as [17] follows:
Definition 2.

N is a finite set of n players

S is a finite set of states

V is a finite set of signals

τ _{ i } is player i’s signal function, at state w, player i receive τ _{ i }(w)∈V with some probability distribution

π is a prior belief about the states

A _{ i } is a set of actions available for i∈N

u _{ i } is the payoff function of i∈N.
Hidden Markov Model
Our model extends the Bayesian game to finitely periods. It models the discrete stochastic process of the state by HMM. The state in the HMM is a Markov chain, which undergoes changes according to the state transition probability distribution. Besides, under each state, players observe signals according to observation signal probability distribution. An HMM is defined as [6] follows:
Definition 3.

S is a finite set of states

V is a finite set of signals

R is the state transition probability distribution, R=(r _{ ij }), where r _{ ij } indicates the probability of state i changing to state j

B is the observation signal probability distribution in state j, B=(b _{ j }(k)), where b _{ j }(k) indicates the probability of signal k being observed in state j

π is the initial state distribution π=(π _{ i }), where π _{ i } is the probability of state i before the model starts.
Model: Hidden Markov Bayesian Game
Definition
Our model is a finitely repeated game with hidden Markovian states and can be classified as a repeated game with imperfect information. At the beginning of each period, a nature state is realized, but players do not observe this state. Rather, each player observes a signal which is driven by the state. Then, players simultaneously choose actions, and the next period begins. The procedure is repeated for a finite number of periods.
We further assume that players are not informed about their payoffs until the end of the final period. Thus, when each player is choosing actions, he knows all the players’ previous actions and his own observed signal sequence but knows nothing about other players’ signals and his payoffs in previous periods. Then, based on the definitions presented in the “Finitely Repeated Game,” “Bayesian Game,” and “Hidden Markov Model” sections, our model can be defined as follows:
Definition 4.

N is a finite set of n players

λ is an HMM of the states and λ=<S,V,R,B,π>

A _{ i } is a set of actions available for i∈N, action profile is denoted as A=×_{ i∈N } A _{ i }

u _{ i } is the payoff function of i∈N at every period, \(u_{i} : A \times S \rightarrow \mathcal {R}\), and u _{ i }(a,w) is said to be i’s payoff under action profile a and the state w

δ is the discount factor, 0≤δ≤1

T is the number of the periods.
Obviously, if the state process λ is a constant, meaning that there is only one state and players have perfect information, this model becomes a normal repeated game. That is, <c,N,(A _{ i }),(u _{ i }),δ,T> (c is a constant) is a Tperiod repeated game with the discount factor δ. Furthermore, if there is only one period involved, i.e., T=1, the model <λ,N,(A _{ i }),(u _{ i }),δ,1> becomes a traditional Bayesian game. Thus, both finitely repeated games and traditional Bayesian games can be considered as special cases of the model.
where a ^{ j } represents the action profile of all the players at period j, 1≤j≤t−1, and a ^{0}=ϕ. Then, in this period t, player i chooses his action according to the signal sequence \({O^{t}_{i}}\) he has observed and all players’ previous actions h ^{ t }.
where \(a^{t}_{i}\) denotes the action profile of all the players except player i, and \(\Pr (w_{t}  O^{t}_{i})\) can be precisely calculated by the algorithm we proposed later.
Nash Equilibrium
where U _{ i,t } is defined in (4).
Let φ _{ i } be the set of player i’s all strategies. Then, the definition of Nash equilibrium of our model can be given.
Definition 5.
Under Nash equilibrium, player i (i∈N) would choose a strategy σ _{ i } that maximizes his total discounted payoff \(\overline {U}_{i}(\sigma _{i}, \sigma _{i}) \), given the other players’ strategies σ _{−i }. Then, during the game, player i would choose his action as \({a_{i}^{t}} = \sigma _{i}\left (h^{t},{O^{t}_{i}}\right)\), where h ^{ t } is the history about all players’ previous actions and \({O^{t}_{i}}\) is the signal sequence that player i has observed so far. We should note that this equilibrium definition is based on our assumption that players update beliefs on the nature state only according to the signal sequence they observed, as (2). Our model does not consider cases where the beliefs can be also updated according to other players’ actions, for example, a player’s belief may be influenced by the actions of another player having more accurate observation. Due to this assumption, the belief system of our model becomes quite simple.
To describe players’ rational strategies, Nash equilibrium alone may not be sufficient and there may be a need to refine it following the concept of subgame perfection [1]. This is because a strategy profile that constitutes Nash equilibrium for the whole game may not represent players’ rational choices at a subgame. Here, we investigate the subgame perfect equilibrium (SPE) for a special case of our model and leave the task of defining the perfect Bayesian equilibrium (PBE) to future research. Consider the case where all the players observe identical signals, that is, players share the same HMM. Then, the start of any period t≤T would form a welldefined subgame because every player has the same belief on the nature state. The SPE for this special case of model is defined as follows:
Definition 6.
An Example
As we know, the return of an investment usually depends on economic conditions, as well as decisions of competitors. But true economic conditions are not completely observable to investors. Besides, in many cases, the investment requires multiple decision periods, and its return can only be collected at the end of the last period. Such an investment problem can be modeled as a hidden Markov Bayesian game. Here, we present an example with three decision periods and two players. At each period, players have two alternative actions: invest (Y) or not invest (N). The economic condition has two states: good (s _{1}) or bad (s _{2}). Players may use the realestate price as a signal, which can be high (v _{1}) or low (v _{2}), based on which they can update their beliefs on the economic condition.
In this example, the state transition probability distribution is \( R = \left (\begin {array}{cc} 0.9 & 0.1 \\ 0.1 & 0.9 \end {array} \right)\). The observation signal probability distribution is (players observe same signals) \( B = \left (\begin {array}{cc} 0.7 & 0.3 \\ 0.3 & 0.7 \end {array} \right)\). And the initial state distribution is \( \pi = \left (\begin {array}{c} 0.5 \\ 0.5 \end {array} \right)\). The discount factor is δ=1, that is, we do not consider the discount factor’s effect in this example.

Player 1 chooses N if the signal sequence that he observes is (v _{2}), (v _{2},v _{2}), (v _{1},v _{2},v _{2}), (v _{2},v _{1},v _{2}), or (v _{2},v _{2},v _{2}) and chooses N if observing other signal sequences, irrespective of previous actions.Table 1
Under good economic condition
Player 2
Y
N
Player 1
Y
10,10
8,0
N
0,8
0,0
Table 2Under bad economic condition
Player 2
Y
N
Player 1
Y
−5,−5
−6,0
N
0, −6
0,0

Player 2 has the same strategy as player 1.
Algorithm
where 1≤i≤N. For example, we need to obtain Pr(w _{1}=s _{1}o _{1}) for period 1 and Pr(w _{2}=s _{1}o _{1},o _{2}) for period 2. In the proposed algorithm, we have derived (9) for all the periods, starting from t=1, then t=2, …, and at last, the final period t=T.
 1.Initialization, period 1:$$ \Pr(o_{1}, w_{1}=s_{i})=\pi_{i}b_{i}(o_{1}). $$(11)
 2.Induction, period τ+1, where 1≤τ≤t−1:$$ {}\Pr(o_{1}, o_{2},\cdots, o_{\tau+1}, w_{\tau+1}=s_{i}) = b_{i}(o_{\tau+1})\sum_{j=1}^{N}r_{ji}\Pr(o_{1}, o_{2},\cdots, o_{\tau}, w_{\tau}=s_{j}). $$(12)
However, to find the equilibrium, we must know the hidden state’s distribution for any period and for any possible signal sequence. Obviously, there is an enumeration method: calculate the distribution at each period given each signal sequence using the above algorithm until all possible cases are enumerated. But this method might waste a significant amount of computing resources. For example, when calculating Pr(w _{3}=s _{1}v _{1},v _{2},v _{2}), we need to obtain Pr(v _{1},v _{2},w _{2}=s _{ i }) during induction, but this value has been obtained when we calculate Pr(w _{2}=s _{1}v _{1},v _{2}). Such repeat calculation is not necessary. With this concern, we develop an algorithm that can output all the distributions quickly without any repeat calculation.
 1.for j=1,2,⋯,M$$ \xi_{i}(j)=\pi_{i}b_{i}(o_{j}), \ \ 1 \leq i \leq N $$
 2.for \(j=M+1,M+2,\cdots,\frac {M^{T+1}M}{M1}\)$$ \xi_{i}(j)=b_{i}(\text{late}(j))\sum_{k=1}^{N}r_{ki}\xi_{k}(\text{par}(j)), \ \ 1 \leq i \leq N $$
(late(j) indicates the last signal in X ^{ j }, e.g., late(v _{1},v _{ M },v _{2})=v _{2})
 3.for \(j=M+1,M+2,\cdots,\frac {M^{T+1}M}{M1}\)$$ \text{Output}: \eta_{i}(j)=\frac{\xi_{i}(j)}{\sum_{k=1}^{N}\xi_{k}(j)}, \ \ 1 \leq i \leq N $$
Then, we have the distribution η _{ i }(j) given all possible signal sequence X ^{ j }.
Application
In this section, we apply our model to the highly controversial education issues, referred to as Chinese education game. From the perspective of the static game with perfect information, schools, overwhelmed by examinationoriented education, are trapped in the classic prisoner’s dilemma. However, the background is changing over time. The education game should contain multiple periods, and participants make decisions dynamically under imperfect information. Our model emphasizes the dynamic and informational aspects, and investigates on questions: why is examinationoriented education so popular and under which conditions will this dilemma be overcome?
Chinese Education Game
Under negative background s _{1}
School 2  
Y  N  
School 1  Y  2,2  4,1 
N  1,4  3,3 
Under positive background s _{2}
School 2  
Y  N  
School 1  Y  2,2  4,3 
N  3,4  5,5 

Prior belief on the background (hidden states): π={0.8,0.2}

State transition probability distribution \( R = \left (\begin {array}{cc} 0.8 & 0.2 \\ 0.5 & 0.5 \end {array} \right) \) (The setting implies the background is more likely to stay on s _{1} meaning turning positive is more difficult than turning negative.)

Observation signal probability distribution \( B = \left (\begin {array}{cc} 0.7 & 0.3 \\ 0.3 & 0.7 \end {array} \right) \) (That is, schools have a probability of 0.7 to observe the background correctly.)
Then, we are ready to apply the hidden Markov Bayesian game to analyze this problem. (The discounting factor is set as δ=1).
Equilibrium
Let p denote the probability of the background being negative (s _{1}). For one period, the Nash equilibrium can be easily obtained, which is (N,N) if p<1/2, (Y,Y) or (N,N) if p=1/2, and (Y,Y) otherwise. So, both schools will not choose being examinationoriented only if p<1/2.

School 1 chooses not being examination oriented (N) when observing signal v _{2} in the latest two consecutive periods (i.e., the sequence is (⋯,v _{2},v _{2})); school 1 chooses being examination oriented (Y) otherwise.

School 2 uses the same strategy as school 1.
This equilibrium might suggest that schools tend to prefer examinationoriented education if the eduction policy keeps changing. It also implies the importance of a stable positive background to schools’ education choices.
The Effect of Observation Accuracy
In Fig. 5, the curve converges to 0.5, indicating that when observation is inaccurate, schools’ estimates on the hidden background are indifferent to the signals. No matter what signals they observe, their belief are the same, and they will keep choosing examinationoriented education that is the only equilibrium. The result suggests the importance of information or observation accuracy, because schools lacking information might not change their previous education way.
Conclusions
In this paper, we introduce a repeated game with hidden Markovian states. The motivation is to formulate and analyze situations where players lack full information but can observe signals, and decisions are made simultaneously for several periods. We also define the Nash equilibrium and develop an algorithm to facilitate finding the equilibrium.
We then apply the model to controversial education issues. The results show that schools tend to prefer examinationoriented education if the eduction policy keeps changing. Also, schools lacking information might keep choosing their previous way of education. Such insights highlight the impact of the observed signal sequence in players’ behavior, which may not be derived from other game models.
To implement the model for practical applications, we may estimate parameters of the embedded HMM using a Markov chain Monte Carlo method [12]. For the purpose of behavior analysis (with hypothetical parameter settings), we can make simplifications to the model for tractability, such as assuming players all observe identical signals.
For future research, one may extend our model to incorporate other features, for example, only one player can observe signals or the number of periods is not fixed. One may analyze situations where beliefs can be updated based on previous actions of a more informed player. The study of other equilibria including the mixedstrategy equilibrium and the perfect Bayesian equilibrium should be important. It would also be interesting to apply the model to other cases and generate insights.
Declarations
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant No. 61074193 and 61374082).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
 Fudenberg, D, Tirole, J: Game Theory. MIT Press, Cambridge (1991).MATHGoogle Scholar
 Fudenberg, D, Levine, D: Subgameperfect equilibria of finiteand infinitehorizon games. J. Econ. Theory. 31(2), 251–268 (1983).MathSciNetView ArticleMATHGoogle Scholar
 Mailath, GJ, Samuelson, L: Repeated Games and Reputations: LongRun Relationships (Vol. 2). Oxford university press, Oxford (2006).View ArticleGoogle Scholar
 Dekel, E, Fudenberg, D, Levine, DK: Learning to play Bayesian games. Games. Econ. Behavior. 46(2), 282–303 (2004).MathSciNetView ArticleMATHGoogle Scholar
 Harsanyi, JC: Games with incomplete information played by “Bayesian” players, Part I–III. Part I. The basic model. Manag. Sci. 14, 159–182 (1967).MathSciNetView ArticleMATHGoogle Scholar
 Rabiner, LR: A tutorial on hidden Markov models and selected applications in speech recognition. Proc. IEEE. 77(2), 257–286 (1989).View ArticleGoogle Scholar
 Megiddo, N: On repeated games with incomplete information played by nonBayesian players. Int. J. Game Theory. 9(3), 157–167 (1980).MathSciNetView ArticleMATHGoogle Scholar
 Shapley, LS: Stochastic games. PNAS. 39(10), 1095–1100 (1953).MathSciNetView ArticleMATHGoogle Scholar
 Aumann, RJ, Maschler, M, Stearns, RE: Repeated Games with Incomplete Information. The MIT press, Cambridge (1995).Google Scholar
 Bishop, CM: Pattern Recognition and Machine Learning. Springer Science + Business Media, LLC, New York (2006).MATHGoogle Scholar
 Liu, F, Janssens, D, Cui, J: Characterizing activity sequences using profile Hidden Markov models. Expert Syst. Appl. 42(13), 5705–5722 (2015).View ArticleGoogle Scholar
 Netzer, O, Lattin, JM, Srinivasan, V: A hidden Markov model of customer relationship dynamics. Market. Sci. 27(2), 185–204 (2008).View ArticleGoogle Scholar
 Dias, JG, Ramos: Dynamic clustering of energy markets: an extended hidden Markov approach. Expert Syst. Appl. 41(17), 7722–7729 (2014).Google Scholar
 Ansari, A, Montoya, R, Netzer, O: Dynamic learning in behavioral games: a hidden Markov mixture of experts approach. QMEQuant. Mark. Econ. 10(4), 475–503 (2012).View ArticleGoogle Scholar
 Kujala, JV, Richardson, U, Lyytinen, H: A Bayesianoptimal principle for learnerfriendly adaptation in learning games. J. Math. Psychol. 54(2), 247–255 (2010).MathSciNetView ArticleMATHGoogle Scholar
 Osborne, MJ: An Introduction to Game Theory. Shanghai University of Finance and Economics Press, Shanghai (2005).Google Scholar
 Chiu, SY, Pu, YJ: Game Theory and Economic Modeling, in Chinese. Renmin University Press, Beijing (2010).Google Scholar