formal game theory
play

Formal Game Theory Stphane Le Roux 1 , Pierre Lescanne 1 and Ren - PowerPoint PPT Presentation

Feb 10, 2024 •275 likes •1.39k views

Motivations Simultaneous Games Sequential Games Summary Formal Game Theory Stphane Le Roux 1 , Pierre Lescanne 1 and Ren Vestergaard 2 1 LIP ENS-Lyon, France 2 JAIST Japan Workshop Chambry, Krakow, and Lyon, 2005 SLR, PL and RV Formal

  1. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary What is a Simultaneous (Pure) Nash Equilibrium? Informally A strategy profile, Such that no agent has any incentive to change its own individual strategy. SLR, PL and RV Formal Game Theory

  2. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 SLR, PL and RV Formal Game Theory

  3. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 A checks whether it can increase its payoff or not. SLR, PL and RV Formal Game Theory

  4. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 A checks whether it can increase its payoff or not. A has no incentive to change choices. SLR, PL and RV Formal Game Theory

  5. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 A checks whether it can increase its payoff or not. A has no incentive to change choices. SLR, PL and RV Formal Game Theory

  6. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 B checks whether it can increase its payoff or not. B has no incentive to change choices. Therefore, ( r 2 , c 1 ) is an equilibrium. SLR, PL and RV Formal Game Theory

  7. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 B checks whether it can increase its payoff or not. B has no incentive to change choices. Therefore, ( r 2 , c 1 ) is an equilibrium. SLR, PL and RV Formal Game Theory

  8. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary An example of a Simultaneous Nash Equilibrium ( r 2 , c 1 ) B c 1 c 2 c 3 r 1 0 1 0 0 1 2 A r 2 2 2 1 0 1 1 r 3 2 0 2 3 0 1 B checks whether it can increase its payoff or not. B has no incentive to change choices. Therefore, ( r 2 , c 1 ) is an equilibrium. SLR, PL and RV Formal Game Theory

  9. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Nash Equilibrium may not be “optimal” From Prisoner’s dilemma The strategy profile ( r 2 , c 2 ) is the only Nash equilibrium in the game below. B c 1 c 2 A r 1 5 5 0 8 r 2 8 0 1 1 SLR, PL and RV Formal Game Theory

  10. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Nash Equilibrium may not be “optimal” From Prisoner’s dilemma The strategy profile ( r 2 , c 2 ) is the only Nash equilibrium in the game below. B c 1 c 2 A r 1 5 5 0 8 r 2 8 0 1 1 SLR, PL and RV Formal Game Theory

  11. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 SLR, PL and RV Formal Game Theory

  12. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 SLR, PL and RV Formal Game Theory

  13. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 A can increase its payoff. SLR, PL and RV Formal Game Theory

  14. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 SLR, PL and RV Formal Game Theory

  15. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 B can increase its payoff. SLR, PL and RV Formal Game Theory

  16. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 SLR, PL and RV Formal Game Theory

  17. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 Agents cycle: no Nash Equilibrium. SLR, PL and RV Formal Game Theory

  18. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium Do Nash Equilibria always exist? The game below has no Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 Agents cycle: no Nash Equilibrium. SLR, PL and RV Formal Game Theory

  19. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium One should relax the definition of equilibrium in order to guarantee existence . Two proposals: Nash: Introducing probabilities and expected payoffs. Abstract Games: Considering “cycles” as equilibria. SLR, PL and RV Formal Game Theory

  20. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium One should relax the definition of equilibrium in order to guarantee existence . Two proposals: Nash: Introducing probabilities and expected payoffs. Abstract Games: Considering “cycles” as equilibria. SLR, PL and RV Formal Game Theory

  21. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of Nash Equilibrium One should relax the definition of equilibrium in order to guarantee existence . Two proposals: Nash: Introducing probabilities and expected payoffs. Abstract Games: Considering “cycles” as equilibria. SLR, PL and RV Formal Game Theory

  22. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Mixed Strategies and Mixed Nash Equilibira Pure setting: An agent chooses one strategy among some available strategies. Mixed setting: An agent chooses a probability distribution over the set of available strategies. B 10 % 60 % 30 % 35 % 0 1 0 0 1 2 A 20 % 2 2 1 0 1 1 45 % 2 0 2 3 0 1 Notions of payoff and equilibrium are easily extended. SLR, PL and RV Formal Game Theory

  23. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Mixed Strategies and Mixed Nash Equilibira Pure setting: An agent chooses one strategy among some available strategies. Mixed setting: An agent chooses a probability distribution over the set of available strategies. B 10 % 60 % 30 % 35 % 0 1 0 0 1 2 A 20 % 2 2 1 0 1 1 45 % 2 0 2 3 0 1 Notions of payoff and equilibrium are easily extended. SLR, PL and RV Formal Game Theory

  24. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Mixed Strategies and Mixed Nash Equilibira Pure setting: An agent chooses one strategy among some available strategies. Mixed setting: An agent chooses a probability distribution over the set of available strategies. B 10 % 60 % 30 % 35 % 0 1 0 0 1 2 A 20 % 2 2 1 0 1 1 45 % 2 0 2 3 0 1 Notions of payoff and equilibrium are easily extended. SLR, PL and RV Formal Game Theory

  25. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Mixed Strategies and Mixed Nash Equilibira Pure setting: An agent chooses one strategy among some available strategies. Mixed setting: An agent chooses a probability distribution over the set of available strategies. B 10 % 60 % 30 % 35 % 0 1 0 0 1 2 A 20 % 2 2 1 0 1 1 45 % 2 0 2 3 0 1 Notions of payoff and equilibrium are easily extended. SLR, PL and RV Formal Game Theory

  26. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium The game below has no pure Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 But it has a mixed Nash equilibrium: B 50 % 50 % A 50 % 0 1 1 0 50 % 1 0 0 1 SLR, PL and RV Formal Game Theory

  27. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium The game below has no pure Nash equilibrium. B c 1 c 2 A r 1 0 1 1 0 r 2 1 0 0 1 But it has a mixed Nash equilibrium: B 50 % 50 % A 50 % 0 1 1 0 50 % 1 0 0 1 SLR, PL and RV Formal Game Theory

  28. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium Guaranteed for finite games (finitely many agents and finitely many available strategies) Brouwer’s fixed point theorem (Hadamard 1910, Brouwer 1912). Non constructive proofs . Constructive proof by Scarf (1967) In Coq? SLR, PL and RV Formal Game Theory

  29. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium Guaranteed for finite games (finitely many agents and finitely many available strategies) Brouwer’s fixed point theorem (Hadamard 1910, Brouwer 1912). Non constructive proofs . Constructive proof by Scarf (1967) In Coq? SLR, PL and RV Formal Game Theory

  30. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium Guaranteed for finite games (finitely many agents and finitely many available strategies) Brouwer’s fixed point theorem (Hadamard 1910, Brouwer 1912). Non constructive proofs . Constructive proof by Scarf (1967) In Coq? SLR, PL and RV Formal Game Theory

  31. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium Guaranteed for finite games (finitely many agents and finitely many available strategies) Brouwer’s fixed point theorem (Hadamard 1910, Brouwer 1912). Non constructive proofs . Constructive proof by Scarf (1967) In Coq? SLR, PL and RV Formal Game Theory

  32. Motivations Basic Definitions Simultaneous Games Simultaneous Nash Equilibrium Sequential Games Properties and Extensions Summary Existence of (Mixed) Nash Equilibrium Guaranteed for finite games (finitely many agents and finitely many available strategies) Brouwer’s fixed point theorem (Hadamard 1910, Brouwer 1912). Non constructive proofs . Constructive proof by Scarf (1967) In Coq? SLR, PL and RV Formal Game Theory

  33. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Outline Motivations 1 Simultaneous Games 2 Basic Definitions Simultaneous Nash Equilibrium Properties and Extensions 3 Sequential Games Basic Definitions Sequential Nash Equilibrium and “Backward Induction” Properties and Extensions SLR, PL and RV Formal Game Theory

  34. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Informaly A system, With some agents, Who play in turn, By choosing among finitely many options. The game stops after finitely many steps. And payoffs are disclosed. SLR, PL and RV Formal Game Theory

  35. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Informaly A system, With some agents, Who play in turn, By choosing among finitely many options. The game stops after finitely many steps. And payoffs are disclosed. SLR, PL and RV Formal Game Theory

  36. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Informaly A system, With some agents, Who play in turn, By choosing among finitely many options. The game stops after finitely many steps. And payoffs are disclosed. SLR, PL and RV Formal Game Theory

  37. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Informaly A system, With some agents, Who play in turn, By choosing among finitely many options. The game stops after finitely many steps. And payoffs are disclosed. SLR, PL and RV Formal Game Theory

  38. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Informaly A system, With some agents, Who play in turn, By choosing among finitely many options. The game stops after finitely many steps. And payoffs are disclosed. SLR, PL and RV Formal Game Theory

  39. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Informaly A system, With some agents, Who play in turn, By choosing among finitely many options. The game stops after finitely many steps. And payoffs are disclosed. SLR, PL and RV Formal Game Theory

  40. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Semi-formaly A set of agents, A finite rooted tree, Every internal node is owned by some agent, Leaves are labeled with payoff functions: Agents → Reals SLR, PL and RV Formal Game Theory

  41. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Semi-formaly A set of agents, A finite rooted tree, Every internal node is owned by some agent, Leaves are labeled with payoff functions: Agents → Reals SLR, PL and RV Formal Game Theory

  42. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Semi-formaly A set of agents, A finite rooted tree, Every internal node is owned by some agent, Leaves are labeled with payoff functions: Agents → Reals SLR, PL and RV Formal Game Theory

  43. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Finite) Sequential Game? Semi-formaly A set of agents, A finite rooted tree, Every internal node is owned by some agent, Leaves are labeled with payoff functions: Agents → Reals SLR, PL and RV Formal Game Theory

  44. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary A play in a Sequential Game a � � �������� � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � 0 , 1 3 , 0 SLR, PL and RV Formal Game Theory

  45. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary A play in a Sequential Game a � � � � � � � � � � � � � � � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � 0 , 1 3 , 0 SLR, PL and RV Formal Game Theory

  46. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary A play in a Sequential Game b � � � � � � � � � � � � � � � � 0 , 1 3 , 0 SLR, PL and RV Formal Game Theory

  47. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary A play in a Sequential Game b � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 0 SLR, PL and RV Formal Game Theory

  48. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary A play in a Sequential Game 3 , 0 SLR, PL and RV Formal Game Theory

  49. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a (Binary and Finite) Sequential Game? Inductive definition bG ::= bgL Payoffs Payoffs : Agents → Reals | bgN Agents bG bG SLR, PL and RV Formal Game Theory

  50. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a Sequential Game in COQ? Parameter Agent : Set. Definition POF := Agent -> Reals. Inductive bG : Set := | bgL : POF -> bG | bgN : Agent -> bG -> bG -> bG. SLR, PL and RV Formal Game Theory

  51. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a Sequential Game in COQ? Parameter Agent : Set. Definition POF := Agent -> Reals. Inductive bG : Set := | bgL : POF -> bG | bgN : Agent -> bG -> bG -> bG. SLR, PL and RV Formal Game Theory

  52. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a Sequential Strategy Profile? Graphicaly a � ���������������� � � ���������������� � � � � � � � � � � � � � � b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � po 1 po 2 po 3 po 4 SLR, PL and RV Formal Game Theory

  53. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a Sequential Strategy Profile? Inductive definition bS ::= bsL Payoffs Choice ::= l | r | bsN Agents Choice bS bS No big changes in Coq. SLR, PL and RV Formal Game Theory

  54. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a Sequential Nash Equilibrium? Informally Same intuitive definition as for simultaneous games. A strategy profile, Such that no agent has any incentive to change its own individual strategy, SLR, PL and RV Formal Game Theory

  55. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary What is a Sequential Nash Equilibrium? Informally Same intuitive definition as for simultaneous games. A strategy profile, Such that no agent has any incentive to change its own individual strategy, SLR, PL and RV Formal Game Theory

  56. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary An example of a Nash Sequential Equilibrium a � � � � �������� � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 3 If a changes its mind then the associated payoff decreases. If b changes its mind then the associated payoff does not change. SLR, PL and RV Formal Game Theory

  57. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary An example of a Nash Sequential Equilibrium a � � � � �������� � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 3 If a changes its mind then the associated payoff decreases. If b changes its mind then the associated payoff does not change. SLR, PL and RV Formal Game Theory

  58. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary An example of a Nash Sequential Equilibrium a � � � � �������� � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 3 If a changes its mind then the associated payoff decreases. If b changes its mind then the associated payoff does not change. SLR, PL and RV Formal Game Theory

  59. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Another Nash Sequential Equilibrium in the same game a � � � � � � � � � � � � � � � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 3 If a changes its mind then the associated payoff decreases. If b changes its mind then the associated payoff decreases. SLR, PL and RV Formal Game Theory

  60. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Another Nash Sequential Equilibrium in the same game a � � � � � � � � � � � � � � � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 3 If a changes its mind then the associated payoff decreases. If b changes its mind then the associated payoff decreases. SLR, PL and RV Formal Game Theory

  61. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Another Nash Sequential Equilibrium in the same game a � � � � � � � � � � � � � � � � � � � � � � � � � � 1 , 2 b � � � � � � � � � � � � � � � � � � � � � � � � 0 , 1 3 , 3 If a changes its mind then the associated payoff decreases. If b changes its mind then the associated payoff decreases. SLR, PL and RV Formal Game Theory

  62. � � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Nash Equilibria may not be “optimal” The only Nash equilibrium of the game below is not “optimal”. a a � � � � � �������� �������� � � � � � � � � � � � � � � � � � � � � 1 , 0 1 , 0 b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 2 , 3 0 , 4 2 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  63. � � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Nash Equilibria may not be “optimal” The only Nash equilibrium of the game below is not “optimal”. a a � � � � � �������� �������� � � � � � � � � � � � � � � � � � � � � 1 , 0 1 , 0 b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 2 , 3 0 , 4 2 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  64. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Construction of a “Backward Induction” strategy profile a � ���������������� � � � � � � � � � � � � � � � b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 3 , 0 1 , 2 3 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  65. � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Construction of a “Backward Induction” strategy profile a � ���������������� � � � � � � � � � � � � � � � b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 3 , 0 1 , 2 3 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  66. � � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Construction of a “Backward Induction” strategy profile a � ���������������� � � � � � � � � � � � � � � � b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 3 , 0 1 , 2 3 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  67. � � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Construction of a “Backward Induction” strategy profile a � ���������������� � � ���������������� � � � � � � � � � � � � � � b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 3 , 0 1 , 2 3 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  68. � � Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Construction of a “Backward Induction” strategy profile “BI” may not be “optimal”. a � ���������������� � � ���������������� � � � � � � � � � � � � � � b b � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 3 , 0 1 , 2 3 , 3 0 , 4 SLR, PL and RV Formal Game Theory

  69. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Properties of “Backward Induction” Proved in Coq for binary games “BI” ⇒ Nash Equilibrium. Guaranteed existence for “BI”. SLR, PL and RV Formal Game Theory

  70. Motivations Basic Definitions Simultaneous Games Sequential Nash Equilibrium and “Backward Induction” Sequential Games Properties and Extensions Summary Properties of “Backward Induction” Proved in Coq for binary games “BI” ⇒ Nash Equilibrium. Guaranteed existence for “BI”. SLR, PL and RV Formal Game Theory

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Strategy & Information Mihai Manea MIT What is Game Theory? Game Theory is the formal study

Strategy & Information Mihai Manea MIT What is Game Theory? Game Theory is the formal study

Strategy & Information Mihai Manea MIT What is Game Theory? Game Theory is the formal study of strategic interaction. In a strategic setting the actions of several agents are interdependent. Each agents outcome depends not only on his

794 views • 57 slides
Game theory (Ch. 17.5) Announcements Midterm Thursday Game theory Typically game theory uses a

Game theory (Ch. 17.5) Announcements Midterm Thursday Game theory Typically game theory uses a

Game theory (Ch. 17.5) Announcements Midterm Thursday Game theory Typically game theory uses a payoff matrix to represent the value of actions The first value is the reward for the left player, right for top (positive is good for both) Game

738 views • 30 slides
CMU-Q 15-381 Lecture 20: Game Theory I Teacher: Gianni A. Di Caro I CE - CREAM W ARS

CMU-Q 15-381 Lecture 20: Game Theory I Teacher: Gianni A. Di Caro I CE - CREAM W ARS

CMU-Q 15-381 Lecture 20: Game Theory I Teacher: Gianni A. Di Caro I CE - CREAM W ARS http://youtu.be/jILgxeNBK_8 2 G AME T HEORY Game theory is the formal study of conflict and cooperation in (rational) multi-agent systems

496 views • 22 slides
Game theory (Ch. 17.5) Game theory Typically game theory uses a payoff matrix to represent the

Game theory (Ch. 17.5) Game theory Typically game theory uses a payoff matrix to represent the

Game theory (Ch. 17.5) Game theory Typically game theory uses a payoff matrix to represent the value of actions The first value is the reward for the left player, right for top (positive is good for both) Dominance & equilibrium Here is

483 views • 29 slides
Introduction to game theory Introduction to game theory Jie Gao Computer Science Department

Introduction to game theory Introduction to game theory Jie Gao Computer Science Department

Introduction to game theory Introduction to game theory Jie Gao Computer Science Department Stony Brook University Game theory Game theory How selfish agents interact. Chess, poker: both parties want to win. Traditionally

818 views • 50 slides
Game Theory: Definition and Assumptions Game Theory and Strategy Game theory studies strategic

Game Theory: Definition and Assumptions Game Theory and Strategy Game theory studies strategic

Game Theory: Definition and Assumptions Game Theory and Strategy Game theory studies strategic interactions within a group of individuals Introduction Actions of each individual have an effect on the outcome Individuals are aware of that

767 views • 58 slides
Game Theory CS 188: Artificial Intelligence Game theory: study of strategic situations,

Game Theory CS 188: Artificial Intelligence Game theory: study of strategic situations,

Game Theory CS 188: Artificial Intelligence Game theory: study of strategic situations, Spring 2006 usually simultaneous actions Prisoners Dilemma A game has: Lecture 26: Game Theory Players A 4/25/2006 Testify Refuse

346 views • 3 slides
Elements of Game Theory S. Pinchinat Master2 RI 2011-2012 S. Pinchinat (IRISA) Elements of Game

Elements of Game Theory S. Pinchinat Master2 RI 2011-2012 S. Pinchinat (IRISA) Elements of Game

Elements of Game Theory S. Pinchinat Master2 RI 2011-2012 S. Pinchinat (IRISA) Elements of Game Theory Master2 RI 2011-2012 1 / 64 Introduction Economy Biology Synthesis and Control of reactive Systems Checking and Realizability of Formal

1.07k views • 86 slides
Motivation: No Formal Theory Motivation: No Formal Theory Master course at Leiden University

Motivation: No Formal Theory Motivation: No Formal Theory Master course at Leiden University

On the Nature of Symbolic Execution 1 Frank de Boer (Joint work with Marcello Bonsangue) IFIP WG 2.2, 2019 1 FM 2019 Motivation: No Formal Theory Motivation: No Formal Theory Master course at Leiden University Motivation: No Formal Theory

724 views • 46 slides
Formal Theory, Informally Jonathan Worthington German Perl Workshop 2007 Formal Theory,

Formal Theory, Informally Jonathan Worthington German Perl Workshop 2007 Formal Theory,

Formal Theory, Informally Jonathan Worthington German Perl Workshop 2007 Formal Theory, Informally RED TAPE HOLDS UP NEW BRIDGE Formal Theory, Informally INCLUDE YOUR CHILDREN WHEN BAKING COOKIES Formal Theory, Informally PORTABLE

860 views • 85 slides
Introduction to Game Theory (1) Mehdi Dastani BBL-521 M.M.Dastani@uu.nl Game Theory What is

Introduction to Game Theory (1) Mehdi Dastani BBL-521 M.M.Dastani@uu.nl Game Theory What is

Introduction to Game Theory (1) Mehdi Dastani BBL-521 M.M.Dastani@uu.nl Game Theory What is the subject matter of game theory and which phenomena does it help us understand? What is the problem of game theory? What are the

637 views • 26 slides
Coalitional Game Theory Game Theory MohammadAmin Fazli Algorithmic Game Theory 1 TOC

Coalitional Game Theory Game Theory MohammadAmin Fazli Algorithmic Game Theory 1 TOC

Coalitional Game Theory Game Theory MohammadAmin Fazli Algorithmic Game Theory 1 TOC Coalitional Games Fair Division and Shapley Value Stable Division and the Core Concept -Core, Least core & Nucleolus Reading:

422 views • 24 slides
Game Theory Basics Game theory is designed to model How rational (payoff-maximizing)

Game Theory Basics Game theory is designed to model How rational (payoff-maximizing)

Game Theory Basics Game theory is designed to model How rational (payoff-maximizing) ``agents will behave When individual outcomes are determined by collective behavior. Rules of a game specify agent payoffs as a function of

509 views • 34 slides
Game Theory and Nuclear Weapons Game Theory and Nuclear Weapons Game Theory and Nuclear Warfare

Game Theory and Nuclear Weapons Game Theory and Nuclear Weapons Game Theory and Nuclear Warfare

Game Theory and Nuclear Weapons Game Theory and Nuclear Weapons Game Theory and Nuclear Warfare Cuban Missile Crisis Theory of Mutually Assured Destruction (MAD) Does this theory explain what happened during the Cuban Missile

531 views • 25 slides
Evolutionary Game Theory By Jin Xiao, Jeff Thomas, Jeff Westwell How would game theory view

Evolutionary Game Theory By Jin Xiao, Jeff Thomas, Jeff Westwell How would game theory view

An Introduction to... Evolutionary Game Theory By Jin Xiao, Jeff Thomas, Jeff Westwell How would game theory view this? What will we discuss? Brief History of Game Theory Payoff Matrix Types of Games Basic Strategies

565 views • 45 slides
Introduction to Games and their Representation Felix Munoz-Garcia Washington State University

Introduction to Games and their Representation Felix Munoz-Garcia Washington State University

Introduction to Games and their Representation Felix Munoz-Garcia Washington State University Strategy and Game Theory Game Theory as the study of interdependence "No man is an island" Denition: Game Theory: a formal way to

841 views • 40 slides
Using Game Theory To Solve Network Security A brief survey by Willie Cohen Network Security

Using Game Theory To Solve Network Security A brief survey by Willie Cohen Network Security

Using Game Theory To Solve Network Security A brief survey by Willie Cohen Network Security Overview By default networks are very insecure Connected to the open internet There are a number of well known methods for securing a

659 views • 21 slides
Chapter 9 Managing the Gamification Design Process Overview What are the differences between

Chapter 9 Managing the Gamification Design Process Overview What are the differences between

Chapter 9 Managing the Gamification Design Process Overview What are the differences between the ADDIE and Scrum models for developing a game? What belongs in a gamification document? Who should be on the game design team? What role

3.82k views • 31 slides
SMORE : So)ware-Defined Networking Mobile Offloading Architecture

SMORE : So)ware-Defined Networking Mobile Offloading Architecture

SMORE : So)ware-Defined Networking Mobile Offloading Architecture Junguk Cho, Binh Nguyen, Arijit Banerjee, Robert Ricci, Jacobus Van der Merwe, and

806 views • 59 slides
New Statements 5 INDUCTION 1 Finance Statements 5 What is Statements 5 ? Financial reports

New Statements 5 INDUCTION 1 Finance Statements 5 What is Statements 5 ? Financial reports

Finance New Statements 5 INDUCTION 1 Finance Statements 5 What is Statements 5 ? Financial reports accessed via a web browser Security based on LSE network ID (single sign-on) Access remotely via remote desktop Runs against

918 views • 22 slides
Gaming On Ubuntu by iheartubuntu It's 2012 already. Lets play some games. Gaming in Ubuntu has

Gaming On Ubuntu by iheartubuntu It's 2012 already. Lets play some games. Gaming in Ubuntu has

Gaming On Ubuntu by iheartubuntu It's 2012 already. Lets play some games. Gaming in Ubuntu has come a long way. You no longer have to spend hours on the internet searching for games that work on Ubuntu. Nor do you need to learn distro

199 views • 9 slides
+ + What makes a good platform? Our vision for Steam 1 Create value for players and developers

+ + What makes a good platform? Our vision for Steam 1 Create value for players and developers

+ + What makes a good platform? Our vision for Steam 1 Create value for players and developers We want players to experience the best possible version of a game, surrounded by the richest set of features and services. We want

1.99k views • 82 slides
Application of Game Theory to Wireless Power Control Games Networking Equilibrium Analysis

Application of Game Theory to Wireless Power Control Games Networking Equilibrium Analysis

Application of Game Theory to Wireless Networking Tansu Alpcan Introduction Application of Game Theory to Wireless Power Control Games Networking Equilibrium Analysis Stability and Convergence Iterative Schemes Tansu Alpcan

626 views • 44 slides
Game Genres INTRODUCTION TO GAME GENRES: SIMULATION, SPORT, FIGHTING, CASUAL, SANDBOX,

Game Genres INTRODUCTION TO GAME GENRES: SIMULATION, SPORT, FIGHTING, CASUAL, SANDBOX,

Game Genres INTRODUCTION TO GAME GENRES: SIMULATION, SPORT, FIGHTING, CASUAL, SANDBOX, EDUCATIONAL, PUZZLE, ONLINE, 1 Simulations Simulations require a substantial amount of depth. Often, a great deal of research is required in

2.01k views • 45 slides

More recommend