A Polynomial-Time Nash Equilibrium Algorithm for Repeated Stochastic Games

Total Page:16

File Type:pdf, Size:1020Kb

A Polynomial-Time Nash Equilibrium Algorithm for Repeated Stochastic Games A Polynomial-time Nash Equilibrium Algorithm for Repeated Stochastic Games Enrique Munoz de Cote∗ Michael L. Littman† DEI, Politecnico di Milano Dept. of Computer Science piazza Leonardo da Vinci, 32 Rutgers University 20133 Milan, Italy Piscataway, NJ 08854 [email protected] [email protected] Abstract In an infinitely repeated stochastic game, the stochas- tic game is played an unbounded number of rounds. We present a polynomial-time algorithm that On each round, a stage game is played, starting in s0 always finds an (approximate) Nash equi- and consisting of a series of state transitions (steps), librium for repeated two-player stochastic jointly controlled by the two agents. At each step, games. The algorithm exploits the folk the- both agents simultaneously select their actions, pos- orem to derive a strategy profile that forms sibly stochastically, via strategies πi (for each agent an equilibrium by buttressing mutually ben- i). To avoid infinitely long rounds, after each step, eficial behavior with threats, where possible. the round is allowed to continue with probability γ, One component of our algorithm efficiently otherwise it is terminated. The payoff for a player in searches for an approximation of the egali- a stage game is the total utility obtained before the tarian point, the fairest pareto-efficient solu- stage game is terminated. (Note that the continuation tion. The paper concludes by applying the probability γ is equivalent to a discount factor.) Play- algorithm to a set of grid games to illus- ers behave so as to maximize their average stage-game trate typical solutions the algorithm finds. payoffs over the infinite number of rounds. These solutions compare very favorably to A strategy profile, π = π1, π2 , is a Nash equilibrium those found by competing algorithms, result- (NE) if each strategy ish optimizedi with respect to the ing in strategies with higher social welfare, as other. In an equilibrium, no agent can do better by well as guaranteed computational efficiency. changing strategies given that the other agent contin- ues to follow its strategy in the equilibrium. In a re- peated game, the construction of equilibrium strategy 1 Problem Statement profiles can involve each player changing strategy from round to round in response to the behavior of the other Stochastic games (Shapley, 1953) are a popular agent. Note that an ǫ-approximate NE is one in which model of multiagent sequential decision making in the no agent can do better by more than ǫ by changing machine-learning community (Littman, 1994; Bowling strategies given that the other agent continues to fol- & Veloso, 2001). In the learning setting, these games low its strategy in the equilibrium. are often repeated over multiple rounds to allow learn- ing agents a chance to discover beneficial strategies. Our approach to finding an equilibrium for repeated stochastic games relies on the idea embodied in the folk Mathematically, a two-player stochastic game is a theorems (Osborne & Rubinstein, 1994). The relevant tuple ,s0, A1, A2, ,U1,U2, γ ; namely, the set of hS T i folk theorem states that if an agent’s performance is states , an initial state s0 , action sets for the two S ∈ S measured via expected average payoff, for any strictly agents A1 and A2, with joint action space = A1 A2; A × enforceable (all agents receive a payoff larger than their the state-transition function, : Π( ) (Π( ) minimax values) and feasible (payoffs can be obtained is the set of probability distributionsT S × over A → );S the util-· S by adopting some strategy profile) set of average pay- ity functions for the two agents U1,U2 : , offs to the players, there exist equilibrium strategy pro- and the discount 0 γ 1. S×A→ℜ ≤ ≤ files that achieve these payoffs. The power of this folk ∗ Supported by The National Council of Science theorem is that communally beneficial play, such as and Technology (CONACyT), Mexico, under grant No. mutual cooperation in the Prisoner’s Dilemma, can be 196839. justified as an equilibrium. A conceptual drawback is †Supported, in part, by NSF IIS-0325281. that there may exist infinitely many feasible and en- plane. This region is convex because any two strat- forceable payoffs (and therefore a daunting set of equi- egy profiles can be mixed by alternating over succes- librium strategy profiles to choose from). We focus on sive rounds to achieve joint payoffs that are any convex the search for a special point inside this (possibly in- combination of the joint payoffs of the original strategy finite) set of solutions that maximizes the minimum profiles. The disagreement point v = (v1,v2) divides advantage obtained by the players. (The advantage is the plane into two regions (see Figure 1): a) the region the improvement a player gets over the payoff it can of mutual advantages (all points in X, above and to guarantee by playing defensively.) We call this point the right of v), denotes the strictly enforceable payoff the egalitarian point, after Greenwald and Hall (2003). profiles; and b) the relative complement of the region Other points can also be justified, such as the one that of mutual advantage, which are the payoff profiles that maximizes the product of advantages—the Nash bar- a rational player would reject. gaining solution (Nash, 1950). In general-sum bimatrix games, the disagreement Earlier work (Littman & Stone, 2005) has shown that point can be computed exactly by solving two zero- the folk theorem can be interpreted computationally, sum games (von Neumann & Morgenstern, 1947) to resulting in a polynomial-time algorithm for repeated find the attack and defensive strategies and their val- games. In the prior work, the game in each round ues. In contrast, the solution to any zero-sum stochas- is represented in matrix form—each strategy for each tic game can be approximated to any degree of accu- player is explicitly enumerated in the input represen- racy ǫ > 0 via value iteration (Shapley, 1953). The tation. This paper considers the analogous problem running time is polynomial in 1/(1 γ), 1/ǫ, and the − when each stage game is represented much more com- magnitude of the largest utility Umax. pactly as a stochastic game. Representing such games in matrix form would require an infinitely large ma- 2.2 Markov Decision Processes trix since the number steps per round, and therefore the complexity of the strategies, is unbounded. Even In this paper, we use Markov decision processes (Put- if we limit ourselves to stationary deterministic strate- erman, 1994), or MDPs, as a mathematical framework gies, there are exponentially many to consider. for modeling the problem of the two players work- Concretely, we address the following computational ing together as a kind of meta-player to maximize a problem. Given a stochastic game, return a strategy weighted combination of their payoffs. For any weight profile that is a Nash equilibrium—one whose payoffs [w, 1 w] (0 w 1) and point p = (p1,p2), define − ≤ ≤ match those of the egalitarian point—of the average σw(p) = wp1 + (1 w)p2. − payoff repeated stochastic game in polynomial time. Note that any strategy profile π for a stochastic game In fact, because exact Nash equilibria in stochastic has a value for the two players that can be represented games can require unbounded precision, our algorithm π as a point p X. To find the strategy profile π for a returns an arbitrarily accurate approximation. ∈ π stochastic game that maximizes σw(p ), we can solve MDP(w), which is the MDP derived from replacing 2 Background the utility r = (r1, r2) in each state with σw(r). Here, we present background on the problem. 2.3 Other Solutions for Stochastic Games 2.1 Minimax Strategies There are several solution concepts that have been con- sidered in the literature. Generally speaking, a Nash Minimax strategies guarantee a minimum payoff value, equilibrium (NE) is a vector of independent strategies called the security value, that an agent can guaran- in which all players optimize their independent prob- tee itself by playing a defensive strategy. In addi- ability distributions over actions with respect to ex- tion, an agent can be held to this level of payoff if pected payoff. A correlated equilibrium (CE) allows the other agent adopts an aggressive attack strategy for dependencies in the agent’s randomizations, so a (because minimax equals maximin). Given that mini- CE is a probability distribution over joint spaces of max strategies guarantee a minimum payoff value, no actions. Minimax strategies maximize payoff in the rational player will agree on any strategy in which it face of their worst opponent. At the other extreme, obtains a payoff lower than its security value. The “friend” strategies maximize behavior assuming the pair of security values in a two-player game is called opponents are working to maximize the agent’s own the disagreement point. utility. Friend strategies are appropriate in purely co- The set X R2 of average payoffs achievable by strat- operative settings but can perform very badly in mixed egy profiles⊆ can be visualized as a region in the x-y incentive settings. minv(A) = 2. All other points are to the left of A, so A is the point with maximum x coordinate. In the A 5 set filled with circles, E is the egalitarian point with minv(E) = 2. All other points are below E, so E is 4 the point with maximum y coordinate. F The intermediate region with the vertical fill lines is B 3 a bit more complex. Point F has the largest y coor- C dinate, but its egalitarian value is negative because of E 2 the x coordinate. Point D has the largest x coordinate, but its egalitarian value is negative because of the y 1 coordinate.
Recommended publications
  • Stochastic Game Theory Applications for Power Management in Cognitive Networks
    STOCHASTIC GAME THEORY APPLICATIONS FOR POWER MANAGEMENT IN COGNITIVE NETWORKS A thesis submitted to Kent State University in partial fulfillment of the requirements for the degree of Master of Digital Science by Sham Fung Feb 2014 Thesis written by Sham Fung M.D.S, Kent State University, 2014 Approved by Advisor , Director, School of Digital Science ii TABLE OF CONTENTS LIST OF FIGURES . vi LIST OF TABLES . vii Acknowledgments . viii Dedication . ix 1 BACKGROUND OF COGNITIVE NETWORK . 1 1.1 Motivation and Requirements . 1 1.2 Definition of Cognitive Networks . 2 1.3 Key Elements of Cognitive Networks . 3 1.3.1 Learning and Reasoning . 3 1.3.2 Cognitive Network as a Multi-agent System . 4 2 POWER ALLOCATION IN COGNITIVE NETWORKS . 5 2.1 Overview . 5 2.2 Two Communication Paradigms . 6 2.3 Power Allocation Scheme . 8 2.3.1 Interference Constraints for Primary Users . 8 2.3.2 QoS Constraints for Secondary Users . 9 2.4 Related Works on Power Management in Cognitive Networks . 10 iii 3 GAME THEORY|PRELIMINARIES AND RELATED WORKS . 12 3.1 Non-cooperative Game . 14 3.1.1 Nash Equilibrium . 14 3.1.2 Other Equilibriums . 16 3.2 Cooperative Game . 16 3.2.1 Bargaining Game . 17 3.2.2 Coalition Game . 17 3.2.3 Solution Concept . 18 3.3 Stochastic Game . 19 3.4 Other Types of Games . 20 4 GAME THEORETICAL APPROACH ON POWER ALLOCATION . 23 4.1 Two Fundamental Types of Utility Functions . 23 4.1.1 QoS-Based Game . 23 4.1.2 Linear Pricing Game .
    [Show full text]
  • Deterministic and Stochastic Prisoner's Dilemma Games: Experiments in Interdependent Security
    NBER TECHNICAL WORKING PAPER SERIES DETERMINISTIC AND STOCHASTIC PRISONER'S DILEMMA GAMES: EXPERIMENTS IN INTERDEPENDENT SECURITY Howard Kunreuther Gabriel Silvasi Eric T. Bradlow Dylan Small Technical Working Paper 341 http://www.nber.org/papers/t0341 NATIONAL BUREAU OF ECONOMIC RESEARCH 1050 Massachusetts Avenue Cambridge, MA 02138 August 2007 We appreciate helpful discussions in designing the experiments and comments on earlier drafts of this paper by Colin Camerer, Vince Crawford, Rachel Croson, Robyn Dawes, Aureo DePaula, Geoff Heal, Charles Holt, David Krantz, Jack Ochs, Al Roth and Christian Schade. We also benefited from helpful comments from participants at the Workshop on Interdependent Security at the University of Pennsylvania (May 31-June 1 2006) and at the Workshop on Innovation and Coordination at Humboldt University (December 18-20, 2006). We thank George Abraham and Usmann Hassan for their help in organizing the data from the experiments. Support from NSF Grant CMS-0527598 and the Wharton Risk Management and Decision Processes Center is gratefully acknowledged. The views expressed herein are those of the author(s) and do not necessarily reflect the views of the National Bureau of Economic Research. © 2007 by Howard Kunreuther, Gabriel Silvasi, Eric T. Bradlow, and Dylan Small. All rights reserved. Short sections of text, not to exceed two paragraphs, may be quoted without explicit permission provided that full credit, including © notice, is given to the source. Deterministic and Stochastic Prisoner's Dilemma Games: Experiments in Interdependent Security Howard Kunreuther, Gabriel Silvasi, Eric T. Bradlow, and Dylan Small NBER Technical Working Paper No. 341 August 2007 JEL No. C11,C12,C22,C23,C73,C91 ABSTRACT This paper examines experiments on interdependent security prisoner's dilemma games with repeated play.
    [Show full text]
  • Stochastic Games with Hidden States∗
    Stochastic Games with Hidden States¤ Yuichi Yamamoto† First Draft: March 29, 2014 This Version: January 14, 2015 Abstract This paper studies infinite-horizon stochastic games in which players ob- serve noisy public information about a hidden state each period. We find that if the game is connected, the limit feasible payoff set exists and is invariant to the initial prior about the state. Building on this invariance result, we pro- vide a recursive characterization of the equilibrium payoff set and establish the folk theorem. We also show that connectedness can be replaced with an even weaker condition, called asymptotic connectedness. Asymptotic con- nectedness is satisfied for generic signal distributions, if the state evolution is irreducible. Journal of Economic Literature Classification Numbers: C72, C73. Keywords: stochastic game, hidden state, connectedness, stochastic self- generation, folk theorem. ¤The author thanks Naoki Aizawa, Drew Fudenberg, Johannes Horner,¨ Atsushi Iwasaki, Michi- hiro Kandori, George Mailath, Takeaki Sunada, and Masatoshi Tsumagari for helpful conversa- tions, and seminar participants at various places. †Department of Economics, University of Pennsylvania. Email: [email protected] 1 1 Introduction When agents have a long-run relationship, underlying economic conditions may change over time. A leading example is a repeated Bertrand competition with stochastic demand shocks. Rotemberg and Saloner (1986) explore optimal col- lusive pricing when random demand shocks are i.i.d. each period. Haltiwanger and Harrington (1991), Kandori (1991), and Bagwell and Staiger (1997) further extend the analysis to the case in which demand fluctuations are cyclic or persis- tent. One of the crucial assumptions of these papers is that demand shocks are publicly observable before firms make their decisions in each period.
    [Show full text]
  • 570: Minimax Sample Complexity for Turn-Based Stochastic Game
    Minimax Sample Complexity for Turn-based Stochastic Game Qiwen Cui1 Lin F. Yang2 1School of Mathematical Sciences, Peking University 2Electrical and Computer Engineering Department, University of California, Los Angeles Abstract guarantees are rather rare due to complex interaction be- tween agents that makes the problem considerably harder than single agent reinforcement learning. This is also known The empirical success of multi-agent reinforce- as non-stationarity in MARL, which means when multi- ment learning is encouraging, while few theoret- ple agents alter their strategies based on samples collected ical guarantees have been revealed. In this work, from previous strategy, the system becomes non-stationary we prove that the plug-in solver approach, proba- for each agent and the improvement can not be guaranteed. bly the most natural reinforcement learning algo- One fundamental question in MBRL is that how to design rithm, achieves minimax sample complexity for efficient algorithms to overcome non-stationarity. turn-based stochastic game (TBSG). Specifically, we perform planning in an empirical TBSG by Two-players turn-based stochastic game (TBSG) is a two- utilizing a ‘simulator’ that allows sampling from agents generalization of Markov decision process (MDP), arbitrary state-action pair. We show that the em- where two agents choose actions in turn and one agent wants pirical Nash equilibrium strategy is an approxi- to maximize the total reward while the other wants to min- mate Nash equilibrium strategy in the true TBSG imize it. As a zero-sum game, TBSG is known to have and give both problem-dependent and problem- Nash equilibrium strategy [Shapley, 1953], which means independent bound.
    [Show full text]
  • Discovery and Equilibrium in Games with Unawareness∗
    Discovery and Equilibrium in Games with Unawareness∗ Burkhard C. Schippery April 20, 2018 Abstract Equilibrium notions for games with unawareness in the literature cannot be interpreted as steady-states of a learning process because players may discover novel actions during play. In this sense, many games with unawareness are \self-destroying" as a player's representa- tion of the game may change after playing it once. We define discovery processes where at each state there is an extensive-form game with unawareness that together with the players' play determines the transition to possibly another extensive-form game with unawareness in which players are now aware of actions that they have discovered. A discovery process is rationalizable if players play extensive-form rationalizable strategies in each game with un- awareness. We show that for any game with unawareness there is a rationalizable discovery process that leads to a self-confirming game that possesses a self-confirming equilibrium in extensive-form rationalizable strategies. This notion of equilibrium can be interpreted as steady-state of both a discovery and learning process. Keywords: Self-confirming equilibrium, conjectural equilibrium, extensive-form rational- izability, unawareness, extensive-form games, equilibrium, learning, discovery. JEL-Classifications: C72, D83. ∗I thank Aviad Heifetz, Byung Soo Lee, and seminar participants at UC Berkeley, the University of Toronto, the Barcelona workshop on Limited Reasoning and Cognition, SAET 2015, CSLI 2016, TARK 2017, and the Virginia Tech Workshop on Advances in Decision Theory 2018 for helpful discussions. An abbreviated earlier version appeared in the online proceedings of TARK 2017 under the title “Self-Confirming Games: Unawareness, Discovery, and Equilibrium".
    [Show full text]
  • Efficient Exploration of Zero-Sum Stochastic Games
    Efficient exploration of zero-sum stochastic games Carlos Martin1 Tuomas Sandholm1,2,3,4 [email protected] [email protected] 1Computer Science Department, Carnegie Mellon University 2Optimized Markets, Inc. 3Strategic Machine, Inc. 4Strategy Robot, Inc. Abstract We investigate the increasingly important and common game-solving setting where we do not have an explicit description of the game but only oracle access to it through gameplay, such as in financial or military simulations and computer games. During a limited-duration learning phase, the algorithm can control the actions of both players in order to try to learn the game and how to play it well. After that, the algorithm has to produce a strategy that has low exploitability. Our motivation is to quickly learn strategies that have low exploitability in situations where evaluating the payoffs of a queried strategy profile is costly. For the stochastic game setting, we propose using the distribution of state-action value functions induced by a belief distribution over possible environments. We compare the performance of various explo- ration strategies for this task, including generalizations of Thompson sampling and Bayes-UCB to this new setting. These two consistently outperform other strategies. 1 Introduction We study the problem of how to efficiently explore zero-sum games whose payoffs and dynamics are initially unknown. The agent is given a certain number of episodes to learn as much useful information about the game as possible. During this learning, the rewards obtained in the game are fictional and thus do not count toward the evaluation of the final strategy.
    [Show full text]
  • Modeling Replicator Dynamics in Stochastic Games Using Markov Chain Method
    Main Track AAMAS 2021, May 3-7, 2021, Online Modeling Replicator Dynamics in Stochastic Games Using Markov Chain Method Chuang Deng Zhihai Rong Department of Automation School of Computer Science and Engineering Shanghai Jiao Tong University University of Electronic Science and Technology of China [email protected] [email protected] Lin Wang Xiaofan Wang Department of Automation School of Mechatronic Engineering and Automation Shanghai Jiao Tong University Shanghai University [email protected] [email protected] ABSTRACT For gaining qualitative and detailed insights into the learning In stochastic games, individuals need to make decisions in multi- process in repeated games, many algorithms and models have been ple states and transitions between states influence the dynamics proposed to build the bridge between evolutionary game theory of strategies significantly. In this work, by describing the dynamic and multi-agent reinforcement learning algorithms, such as FAQ- process in stochastic game as a Markov chain and utilizing the tran- learning [10], regret minimization [11], continuous strategy repli- sition matrix, we introduce a new method, named state-transition cator dynamics [5], IGA [21], IGA-WOLF [2] and so on. Besides replicator dynamics, to obtain the replicator dynamics of a stochas- the assumption that individuals are in the same state, how to de- tic game. Based on our proposed model, we can gain qualitative scribe strategy dynamics with the reciprocity of multiple states and and detailed insights into the influence of transition probabilities separate strategies also raises the attention of researchers. Vrancx on the dynamics of strategies. We illustrate that a set of unbalanced et al.
    [Show full text]
  • Nash Q-Learning for General-Sum Stochastic Games
    Journal of Machine Learning Research 4 (2003) 1039-1069 Submitted 11/01; Revised 10/02; Published 11/03 Nash Q-Learning for General-Sum Stochastic Games Junling Hu [email protected] Talkai Research 843 Roble Ave., 2 Menlo Park, CA 94025, USA Michael P. Wellman [email protected] Artificial Intelligence Laboratory University of Michigan Ann Arbor, MI 48109-2110, USA Editor: Craig Boutilier Abstract We extend Q-learning to a noncooperative multiagent context, using the framework of general- sum stochastic games. A learning agent maintains Q-functions over joint actions, and performs updates based on assuming Nash equilibrium behavior over the current Q-values. This learning protocol provably converges given certain restrictions on the stage games (defined by Q-values) that arise during learning. Experiments with a pair of two-player grid games suggest that such restric- tions on the game structure are not necessarily required. Stage games encountered during learning in both grid environments violate the conditions. However, learning consistently converges in the first grid game, which has a unique equilibrium Q-function, but sometimes fails to converge in the second, which has three different equilibrium Q-functions. In a comparison of offline learn- ing performance in both games, we find agents are more likely to reach a joint optimal path with Nash Q-learning than with a single-agent Q-learning method. When at least one agent adopts Nash Q-learning, the performance of both agents is better than using single-agent Q-learning. We have also implemented an online version of Nash Q-learning that balances exploration with exploitation, yielding improved performance.
    [Show full text]
  • Bayesian Analysis of Deterministic and Stochastic Prisoner's Dilemma Games
    University of Pennsylvania ScholarlyCommons Operations, Information and Decisions Papers Wharton Faculty Research 8-2009 Bayesian Analysis of Deterministic and Stochastic Prisoner's Dilemma Games Howard Kunreuther University of Pennsylvania Gabriel Silvasi Eric. T. Bradlow University of Pennsylvania Dylan. S. Small University of Pennsylvania Follow this and additional works at: https://repository.upenn.edu/oid_papers Part of the Probability Commons, and the Statistical Theory Commons Recommended Citation Kunreuther, H., Silvasi, G., Bradlow, E. T., & Small, D. S. (2009). Bayesian Analysis of Deterministic and Stochastic Prisoner's Dilemma Games. Judgment and Decision Making, 4 (5), 363-384. Retrieved from https://repository.upenn.edu/oid_papers/254 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/oid_papers/254 For more information, please contact [email protected]. Bayesian Analysis of Deterministic and Stochastic Prisoner's Dilemma Games Abstract This paper compares the behavior of individuals playing a classic two-person deterministic prisoner’s dilemma (PD) game with choice data obtained from repeated interdependent security prisoner’s dilemma games with varying proba- bilities of loss and the ability to learn (or not learn) about the actions of one’s counterpart, an area of recent interest in experimental economics. This novel data set, from a series of controlled laboratory experiments, is analyzed using Bayesian hierarchical methods, the first application of such methods in this research domain. We find that individuals are much more likely to be cooperative when payoffs are deterministic than when the out-comes are probabilistic. A key factor explaining this difference is that subjects in a stochastic PD game respond not just to what their counterparts did but also to whether or not they suffered a loss.
    [Show full text]
  • Stochastic Constraint Programming for General Game Playing with Imperfect Information
    Stochastic Constraint Programming for General Game Playing with Imperfect Information Frédéric Koriche, Sylvain Lagrue, Éric Piette, and Sébastien Tabary CRIL Univ. Artois - CNRS UMR 8188, France-62307 Lens {koriche,lagrue,epiette,tabary}@cril.fr Abstract current game state, and the effects of their joint actions are uncer- tain. As such, GDL-II is expressive enough to capture partially The game description language with incomplete observable stochastic games (POSGs), which cover a wide variety GDL-II information ( ) is expressive enough to of multi-agent sequential decision problems. However, such ex- capture partially observable stochastic multi-agent pressiveness does not come without a price: from a computational games. Unfortunately, such expressiveness does viewpoint, the problem of finding a winning strategy in a POSG not come without a price: the problem of finding a is NEXPNP-complete [Goldsmith and Mundhenk, 2007], a com- winning strategy is NEXPNP-hard, a complexity class plexity class which is far beyond the standard PSPACE complexity which is far beyond the reach of modern constraint class of games with complete information. Although several algo- solvers. In this paper, we identify a PSPACE-complete rithms have been devised for tackling specific instances of POSGs, GDL-II fragment of , where agents share the same such as Contract Bridge [Ginsberg, 2001] and Poker [Bowling (partial) observations. We show that this fragment et al., 2015], they are dedicated programs which heavily rely on can be cast as a decomposable stochastic constraint human knowledge about game rules and evaluation functions. By SCSP satisfaction problem ( ) which, in turn, can be contrast, the task of developing general game players for POSGs solved using general-purpose constraint programming appears extremely challenging due to their complexity barrier.
    [Show full text]
  • Perfect Conditional E-Equilibria of Multi-Stage Games with Infinite Sets
    Perfect Conditional -Equilibria of Multi-Stage Games with Infinite Sets of Signals and Actions∗ Roger B. Myerson∗ and Philip J. Reny∗∗ *Department of Economics and Harris School of Public Policy **Department of Economics University of Chicago Abstract Abstract: We extend Kreps and Wilson’s concept of sequential equilibrium to games with infinite sets of signals and actions. A strategy profile is a conditional -equilibrium if, for any of a player’s positive probability signal events, his conditional expected util- ity is within of the best that he can achieve by deviating. With topologies on action sets, a conditional -equilibrium is full if strategies give every open set of actions pos- itive probability. Such full conditional -equilibria need not be subgame perfect, so we consider a non-topological approach. Perfect conditional -equilibria are defined by testing conditional -rationality along nets of small perturbations of the players’ strate- gies and of nature’s probability function that, for any action and for almost any state, make this action and state eventually (in the net) always have positive probability. Every perfect conditional -equilibrium is a subgame perfect -equilibrium, and, in fi- nite games, limits of perfect conditional -equilibria as 0 are sequential equilibrium strategy profiles. But limit strategies need not exist in→ infinite games so we consider instead the limit distributions over outcomes. We call such outcome distributions per- fect conditional equilibrium distributions and establish their existence for a large class of regular projective games. Nature’s perturbations can produce equilibria that seem unintuitive and so we augment the game with a net of permissible perturbations.
    [Show full text]
  • Monte-Carlo Tree Reductions for Stochastic Games Nicolas Jouandeau, Tristan Cazenave
    Monte-Carlo Tree Reductions for Stochastic Games Nicolas Jouandeau, Tristan Cazenave To cite this version: Nicolas Jouandeau, Tristan Cazenave. Monte-Carlo Tree Reductions for Stochastic Games. 19th an- nual Conference on Technologies and Applications of Artificial Intelligence, Nov 2014, Taipei, Taiwan. 10.1007/978-3-319-13987-6_22. hal-02317159 HAL Id: hal-02317159 https://hal.archives-ouvertes.fr/hal-02317159 Submitted on 15 Oct 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Monte-Carlo Tree Reductions for Stochastic Games Nicolas Jouandeau1 and Tristan Cazenave2 1 LIASD, Universit´ede Paris 8, France [email protected] 2 LAMSADE, Universit´eParis-Dauphine, France [email protected] Abstract. Monte-Carlo Tree Search (MCTS) is a powerful paradigm for perfect information games. When considering stochastic games, the tree model that represents the game has to take chance and a huge branching factor into account. As effectiveness of MCTS may decrease in such a setting, tree reductions may be useful. Chance-nodes are a way to deal with random events. Move-groups are another way to deal efficiently with a large branching factor by regrouping nodes.
    [Show full text]