Extensive-Form Games with Imperfect Information
Total Page:16
File Type:pdf, Size:1020Kb
Extensive-Form Games with Imperfect Information Jeffrey Ely May 6, 2015 Jeffrey Ely Extensive-Form Games with Imperfect Information Example ¨¨ 2, 2 ¨¨ A¨ r ¨¨ 3, 3 ¨¨ C ¨ ¨ ¨ r ¨ ¨¨ Player 1 H Player¨¨ 1 H H ¨ H b H Up ¨ r H H ¨ p D H H ¨ p HH B HH ¨ p 0, 0 H ¨ p PlayerH 2 ¨ 1 p r HH p H p rr H p ¨ 0, 0 H p C ¨¨ Down H p ¨ r H p ¨ HHp¨ Player 1 pH p H prr H D HH H 3, 3 r Jeffrey Ely Extensive-Form Games with Imperfect Information Extensive-Form Games With Imperfect Information Finite No simultaneous moves: each node belongs to a single player (possibly \chance.") Information Sets I The nodes h at which i moves are partitioned into sets H. I The interpretation is that player i knows that it is his move and some node in the set has been reached, he does not know which one. (Behavioral) Strategies Subgames I Always begin with singleton information sets I Can't break information sets I Nash and Subgame Perfect Nash Equilibria Jeffrey Ely Extensive-Form Games with Imperfect Information The Weakness of SPNE 1 ¨¨ HH ¨ b H Stay out ¨ H ¨¨ HHEnter, Red ¨ Enter, Green H ¨¨ HH ¨ H ¨¨ 2 HH ¡A ¡A (0,r 0) rpppppppppppppppppppp rr r Fight ¡ A Fight ¡ A ¡ AAccom. ¡ AAccom. ¡ A ¡ A ¡ A ¡ A ¡ A ¡ A (−1,r−2) (1, −r 1) (−1,r−2) (1, −r 1) This example has no proper subgames so SPNE is just NE. So we need to extend the concept of \sequential rationality" Jeffrey Ely Extensive-Form Games with Imperfect Information Beliefs Does the player's continuation strategy maximize his continuation payoff? We need a way to pose the same question at a non-singleton information set. But what is the continuation payoff at a non-singleton information set? We need to specify the player's beliefs over the nodes in the information set. Definition A system of beliefs is a collection m = (m1, m2, ... , mN ) where mi (·jH) 2 DH specifies a probability distribution over the nodes in any information set H belonging to player i. We interpret m(·jH) 2 DH as i's belief about which node in H has been reached. Jeffrey Ely Extensive-Form Games with Imperfect Information Continuation Payoffs Given a behavioral strategy profile s At any node h belonging to i we can compute the probability distribution over terminal nodes. And thus we can compute the expected payoff to i conditional on having arrived at h, ui (sjh) Now to compute the continuation payoff at a non-singleton information set H, we take expectations with respect to the belief m(·jH): ui (sjH) = ∑ m(hjH)ui (sjh) h2H Jeffrey Ely Extensive-Form Games with Imperfect Information Sequential Rationality Definition A behavioral strategy profile s is sequentially rational relative to a system of beliefs m if for each i and for each information set H belonging to i, 0 ui (sjH) ≥ ui (si , s−i jH) 0 for every alternative strategy si . Jeffrey Ely Extensive-Form Games with Imperfect Information Assessments In extensive form games with imperfect information a solution is described by two objects The strategy profile The system of beliefs A pair (s, m) consisting of the strategy profile s and the system of beliefs m is called an assessment. Solution concepts will impose requirements on the assessment: Sequential rationality Some condition on the beliefs. Jeffrey Ely Extensive-Form Games with Imperfect Information Sequential Rationality 1 ¨¨ HH ¨ b H Stay out ¨¨ HH Enter, Red ¨Enter, Green H ¨¨ HH ¨¨ HH ¨¨ 2 HH ¡A ¡A (0,r 0) rpppppppppppppppppppp rr r Fight ¡ A Fight ¡ A ¡ AAccom. ¡ AAccom. ¡ A ¡ A ¡ A ¡ A ¡ A ¡ A (−1,r−2) (1, −r 1) (−1,r−2) (1, −r 1) Sequential rationality alone restores the intuitive solution of this game. Jeffrey Ely Extensive-Form Games with Imperfect Information Beliefs ¨¨ 1, −1 H ¨ ¨¨ r ¨ Player¨ 1 H ¨¨ H ¨ r H H¨ p T H ¨ p HH ¨ p −1, 1 ¨¨ p Player 2 H 1 p r H p H p b H p ¨ −1, 1 H p H ¨¨ T H p ¨ r H p ¨ HHp¨ Player 1 pH p H prr H T HH H 1, −1 r Jeffrey Ely Extensive-Form Games with Imperfect Information Sequential Rationality Alone Is Not Enough Sequential rationality alone is not enough for this game. Consider the assessment in which both players play T but 2's belief assigns probability greater than 1/2 to the top node. It is sequentially rational. But it isn't even a Nash equilibrium. (This is Matching Pennies) Jeffrey Ely Extensive-Form Games with Imperfect Information Bayes' Rule on the Path Given a behavioral strategy profile, we say that a system of beliefs satisfies Bayes' rule on the path if at every information set H which is arrived at with positive probability, the belief mi (·jH) is the conditional probability distribution. Jeffrey Ely Extensive-Form Games with Imperfect Information (Weak) Perfect Bayesian Equilibrium Definition An assessment (s, m) is a (weak) Perfect Bayesian Equilibrium if it is sequentially rational and satisfies Bayes' rule on the path. So in an extensive form game with imperfect information, to \solve" for a Weak PBE is to State the strategy profile s. State the system of beliefs m. Verify that the system of beliefs is derived from s on the path. Verify that the strategy profile is sequentially rational relative to m. Jeffrey Ely Extensive-Form Games with Imperfect Information Problem with Weak PBE ¨¨ −1/2, 0, 0 ¨¨ A¨ r ¨¨ −1, 1, −1 ¨¨ H ¨ ¨ ¨ r ¨ ¨¨ Player 1 H Player¨¨ 3 H H ¨ H b H ¨ r H H H¨ p T H H ¨ p HH B HH ¨ p 1, −1, 1 H ¨ p PlayerH 2 ¨ 1 p r HH p H p rr H p ¨ 1, −1, 1 H p H ¨¨ T H p ¨ r H p ¨ HHp¨ Player 3 pH p H prr H T HH H −1, 1, −1 r Jeffrey Ely Extensive-Form Games with Imperfect Information Problems with Weak PBE Consider the following assessment: 1 Plays A 2 Plays T 3 plays T 3's belief assigns probability greater than 1/2 to his top node. This is a weak PBE Sequentially rational Satisfies Bayes' rule on the path. But it is not a subgame perfect Nash equilibrium. (The subgame is matching pennies.) The unique SPE has 1 playing B. Jeffrey Ely Extensive-Form Games with Imperfect Information Related Problem ¨¨ 2, 2 ¨¨ A¨ r ¨¨ 3, 0 ¨¨ C ¨ ¨ ¨ r ¨ ¨¨ Player 1 H Player¨¨ 1 H H ¨ H b H Up ¨ r H H ¨ p D H H ¨ p HH B HH ¨ p 0, 3 H ¨ p PlayerH 2 ¨ 1 p r HH p H p rr H p ¨ 0, 3 H p C ¨¨ Down H p ¨ r H p ¨ HHp¨ Player 1 pH p H prr H D HH H 3, 0 r Jeffrey Ely Extensive-Form Games with Imperfect Information Failure of OSDP for Weak PBE Consider the following assessment. 1 Plays (A, C ) 2 Plays Down 1 assigns probability 1 to the top node in his information set. This is not sequentially rational for player 1 he can improve his payoff at the initial node by changing his strategy to B, D. But there is no profitable one stage deviation at any information set. Jeffrey Ely Extensive-Form Games with Imperfect Information A Partial Fix Bayes' rule where possible. i.e. suppose All of the nodes in an information set have a common immediate predecessor And that predecessor is a singleton information set Then the mixed action at that predecessor should define the belief at the information set. There are other examples where it is possible to apply Bayes' rule even at off-path information sets. Applying the \where possible" principle is a bit of a case-by-case matter. Jeffrey Ely Extensive-Form Games with Imperfect Information Application: Take it or leave it offers Single object for sale. Player 1 is the seller, Player 2 is a buyer. The buyer has a value v > 0 for the object. The seller has a prior belief m about v. The seller demands a price p for the good. The buyer accepts or rejects. Payoffs from sale: I v − p for the buyer I p for the seller Payoffs are zero if no sale. Jeffrey Ely Extensive-Form Games with Imperfect Information Extensive Form Game begins with a move by Nature. (By the way this is how we put incomplete information into an extensive-form game.) Nature selects v with an exogenous probability distribution given by the prior m. Player 1 does not observe Nature's move (A single information set includes them all.) Player 2 observes the offer made as well as Nature's move (singleton information set.) Jeffrey Ely Extensive-Form Games with Imperfect Information Sequential Rationality For the Buyer Because all of the buyer's moves are at singleton information sets, sequential rationality pins down his continuation strategy, except when indifferent. The buyer accepts any offer strictly below his value. The buyer rejects any offer strictly above his value. Sequential rationality alone does not restrict his response to prices equaling his value. (Think of the complete information ultimatum game.) Jeffrey Ely Extensive-Form Games with Imperfect Information Binary Values Suppose v can take on two possible values fvl , vhg with vh > vl . With probabilities mh and ml . Bayes' rule now pins down the seller's belief at his information set. Jeffrey Ely Extensive-Form Games with Imperfect Information Sequential Rationality for the Seller We can immediately rule out certain price offers No price offer less than vl can be sequentially rational.