William D. Hamilton's Work in Evolutionary Game Theory

Total Page:16

File Type:pdf, Size:1020Kb

Load more

TheoreticalPopulation Biology 59, 3-6 ( 2001 ) doi:10.1006/tpbi.2000.1501,available online at http://www.idealibrary.comon lllE.b-l@ TPB William D. Hamilton's Work in Evolutionary Game Theory K. Sigmund Institutefor Mathematics,Uniaersity of Vienna,Vienna A-1090, Austria ReceivedAugust 23, 2000 William D. Hamilton's impact on contemporaryviews At that time, there had been severalattempts to use of evolution has beennothing short of revolutionary.His game theory in evolutionary biology, most notably a contributions to our reasoningon kin selection,genomic paper by Lewontin (1960)which interpretedlife-history conflicts, parasitism, and costs of sex dominate these traits as strategiesand reproductivesuccess as a payoff fields. He also had an important, if somewhat less function and which showedthat the optimal solution of obvious, influence on evolutionary game theory. This a certain game "against nature" was a mixed strategy. field, which is now well-establishedboth in biology and Another forerunnerwas Verner (1965),who treated sex in economics,is usually (and rightly) attributed to John ratios as strategiesand aimed to show that, in the Maynard Smith: the canonicalreferences are a briefjoint presenceof fluctuations in the overall sex ratio, an paper with George Price (Maynard Smith and Price, individual's 1:1sex ratio wasoptimal. Theseearly papers 1973), and the book "Evolution and the Theory of did not yet apply game theory to model competition Games" (Maynard Smith, 1982).But W. D. Hamilton within a population and did not evenimplicitly consider played an important, and indeedpioneering, role in the population dynamics. developmentof this subject. Decadesearlier, both oftheseaspects had beenused by In the early sixties,game theory was looking back on R. A. Fisher, Bill Hamilton's "hero of twentieth century more than a decadeof headyprogress. The seminalbook evolution" (Hamilton, 1996).Fisher's argument on sex- on "The Theory of Games and Economic Behaviour" ratio selection(Fisher, 1930)was later couchedin terms (von Neumann and Morgenstern, 1944) had inspired which made in appearas a paragon of evolutionary game someof the best mathematiciansof the time. It had also theory (see,e.g., Maynard Smith 1982).But when Fisher fired public imagination and been subject to some of the first conceivedhis argument, he knew nothing about hype later lavishedon catastrophetheory and chaos.The gametheory: in fact, in (Fisher, 1934),he proved from responseof economists,to whom gametheory was offered scratcha result about the optimal play in a defunct card as a tool, turned out to be somewhatmore guarded.Bill game,obviously unaware of John von Neumann'smini- Hamilton had encountered the von Neumann and max theoremfrom 1930.Robert MacArthur (1965)used Morgensternbook "in idle reading" (as he later wrote, an approachsimilar to Fisher'sin discussingsex ratios, Hamilton 1996)while he was a student of geneticsand again without using conceptsfrom game theory. returned to it "almost as a leisure distraction" when he Bill Hamilton applied game theory to reveal the had landed at the London School of Economicsfor his essenceand the limitations of Fisher'sargument and to doctoral thesis (officially in human demography).He explain the widespreadoccurrence of extraordinary sex later wrote that "the'idea of fitness being treated as ratios. This article, which many (including himself) con- equivalent to "payofl" in a biological version of von sider his best paper, appearedin 1967in Science,butit Neumann'sgame theory had crossedmy mind as soonas was basedon ideashe had already developedby 1963. 'lrnexpectedly I read his earliestaccount." Hamilton had also read the Hamilton stressedthe close similarity to standard textbook of the time (Luce and Raiffa 1957), certain types of situations consideredin the theory of which included the concept of the Nash equilibrium and games"(Hamilton, 1967),frrst "in the senseof a play by a discussionof the Prisoner'sDilemma. the individual againstthe population" (what nowadaysis 0040-5809/01s35.00 CopyrighrO 2001 by Acäde.nicP|s All rightsof roproductionin any fm reserred. 4 K. Sigmund called "playing the field") and then in the pairwisecom- much more explicit fashion (Maynard Smith, 1974) and petition of two parasitoidfemales laying their eggsin the in a context(pairwise conflicts) which wascloser to usual same host ("a refined version fof the model] which is examplesin gametheory. In Hamilton's 1967paper, the very realisticallygameJike"). Technically, the main tool unbeatability concept was aknost hidden behind too is that of an "unbeatable" strategy.Hamilton did not many other breakthrough ideas on intragenomic dehneit explicitly-in fact, he only spokeof sexratios as conflicts,levels-of-selection, and the cost of sex,all piling being unbeatable and always in the context of a specific on eachother. geneticor phenotypic model. As Hamilton (1996) later In later papers (Hamilton and May, 1977; Comins stated the notion required that no alternative strategy, et al., 1980),Hamilton used the concept of an ESS and "no matter what starting frequency in a mixture, would praisedits "combination of simplicity and generality''in be able to increase." helping to define o'final" strategies.But it should be A few years later, John Maynard Smith introduced the stressedthat there exists, by now, a confusing variety definition of an evolutionarily stablestrategy (or ESS), of versions of population stability which had all too stressingthat it had "beenderived in part from the theory often been illegitimately labeled ESS (for discussions, of games, and in part from the work of MacArthur and seeLessard, 1990; Eshel, 1996).Furthennore, the corre- Hamilton on the evolution of the sex ratio" (Maynard sponding equilibria need not always be the ultimate out- Smith and Price, 1973).The concept met immediately come of evolution (Eshel and Motro, 1981; Nowak, with resounding success.In contrast to the unbeatable 1990). strategy, it only required that an alternative strategy Hamilton was clearly less interestedin disentangling would not be ableto increasewhen its frequencywaslow. strategic and genetic viewpoints of great generality than In fact, it would be selectedagainst: a rare mutant in studying concrete examplesof applications of game invading a resident monomorphic population of ESS theory to socialbehavior. It was, as he wrote (Hamilton players would be eliminated under the influence of 1996),"a completesurprise to find an exactevolutionary natural selection.This notion was strongerthan that of a analogueto one of game theory's most famous puzzles Nash equilibrium, but weaker than that of an unbeatable coming to light right in the midst of my own work on strategy (and of a strict Nash equilibrium). Roughly population genetical dynamics": this is the Prisoner's speaking, two strategies exposed to selection can Dilemma game.He first discussedit in the proceedings (a) either coexist in equilibrium in the population, or volumeof a symposiumwhich took placein Washington, (b) one can dominate the other in the senseof always DC, in 1969(Hamilton, 1971). eliminating it from any mixture, or (c) they can mutually In this paper, Hamilton still had to struggle with the resistinvasion by the other.In case(c), that ofbistability, fact that game theory "presupposesbeings to think, and both strategieswould be ESSs,but not unbeatable;in potentially, to communicate," which implies that "in case(b), the dominating strategy is unbeatable.In a non-human biology, at least as regards preconsidered further case(d) of selectiveneutrality, both strategies strategies,its relevancemust be limited." The rationality have equal successagainst each other and against axiom of classical game theory was looming as an themselves.In many contexts,this caseis unlikely, but obstacle.But the Prisoner's Dilemma problem becomes overlooking it causes confusion. For instance, both actually easierwithin the evolutionary context-although Hamilton (Axelrod and Hamilton, 1981)and Maynard Hamilton adds:"I am doubtful whetherthe findingsfrom Smith ( 1982)published proofs of the purported "evolu- natural selectionthrow any light on the problem ofhow tionary stability" of the Tit for Tat strategywhich, in fact, it is rational to act." only showedthat it was a Nash equilibrium. Hamilton later referred to this proceedingspaper as The notion of ESSis particularly appropriatefor large, "my first intellectual wild oat" and warned the reader of well-mixed populations, for in that case any invading its shortcomings-including, in his own words, "lack of mutant is obviously rare. In highly structured popula- focusand lack of anything new to say" (Hamilton, 1996). tions, this is not necessarilythe eäse,and it could well be Lack of focus there may be; indeed, the paper reads, that Hamilton conceived the stronger condition of from its opening Nietzsche quotation onward, like an unbeatability becausehe was usedto thinking of viscous unbridled steeplechasethrough Bill Hamilton's brain. populations. But the main reason why the concept of But it darts over a vast amount of new things to say, with evolutionary stability spread faster than that of utterly original ideas taken up at full gallop and tossed unbeatability was probably causedless by its greater offat the next turn, including, in particular, anticipations generality than by the fact that it was introduced in a of seminalpapersbyJohn Maynard Smith, E. O. Wilson, William Hamilton's Evolutionary Game Theory 5 and Robert Trivers that weresoon to burst
Recommended publications
  • Evolutionary Game Theory: ESS, Convergence Stability, and NIS

    Evolutionary Game Theory: ESS, Convergence Stability, and NIS

    Evolutionary Ecology Research, 2009, 11: 489–515 Evolutionary game theory: ESS, convergence stability, and NIS Joseph Apaloo1, Joel S. Brown2 and Thomas L. Vincent3 1Department of Mathematics, Statistics and Computer Science, St. Francis Xavier University, Antigonish, Nova Scotia, Canada, 2Department of Biological Sciences, University of Illinois, Chicago, Illinois, USA and 3Department of Aerospace and Mechanical Engineering, University of Arizona, Tucson, Arizona, USA ABSTRACT Question: How are the three main stability concepts from evolutionary game theory – evolutionarily stable strategy (ESS), convergence stability, and neighbourhood invader strategy (NIS) – related to each other? Do they form a basis for the many other definitions proposed in the literature? Mathematical methods: Ecological and evolutionary dynamics of population sizes and heritable strategies respectively, and adaptive and NIS landscapes. Results: Only six of the eight combinations of ESS, convergence stability, and NIS are possible. An ESS that is NIS must also be convergence stable; and a non-ESS, non-NIS cannot be convergence stable. A simple example shows how a single model can easily generate solutions with all six combinations of stability properties and explains in part the proliferation of jargon, terminology, and apparent complexity that has appeared in the literature. A tabulation of most of the evolutionary stability acronyms, definitions, and terminologies is provided for comparison. Key conclusions: The tabulated list of definitions related to evolutionary stability are variants or combinations of the three main stability concepts. Keywords: adaptive landscape, convergence stability, Darwinian dynamics, evolutionary game stabilities, evolutionarily stable strategy, neighbourhood invader strategy, strategy dynamics. INTRODUCTION Evolutionary game theory has and continues to make great strides.
  • In the Light of Evolution VIII: Darwinian Thinking in the Social Sciences Brian Skyrmsa,1, John C

    In the Light of Evolution VIII: Darwinian Thinking in the Social Sciences Brian Skyrmsa,1, John C

    FROM THE ACADEMY: COLLOQUIUM INTRODUCTION COLLOQUIUM INTRODUCTION In the light of evolution VIII: Darwinian thinking in the social sciences Brian Skyrmsa,1, John C. Aviseb,1, and Francisco J. Ayalab,1 norms are seen as a society’s way of coor- aDepartment of Logic and Philosophy of Science and bDepartment of Ecology and dinating on one of these equilibria. This, Evolutionary Biology, University of California, Irvine, CA 92697 rather than enforcement of out-of-equilibrium behavior, is seen as the function of these Darwinian thinking in the social sciences was Evolutionary game theory was initially norms. Fairness norms, however, may involve inaugurated by Darwin himself in The De- seen by some social scientists as just a way interpersonal comparisons of utility. This is scent of Man and Selection in Relation to to provide a low rationality foundation for true of egalitarian norms, and of the norms Sex high rationality equilibrium concepts. A Nash of proportionality suggested by Aristotle. In (8, 9). Despite various misappropriations ’ of the Darwinian label, true Darwinian think- equilibrium is a rest point of a large class of Binmore s account, the standards for such ing continued in the social sciences. However, adaptive dynamics. If the dynamics converges interpersonal comparisons themselves evolve. toarestpoint,itconvergestoNash.Thismay Komarova(22),inanarticlethatcould with the advent of evolutionary game theory Social Dynamics (10) there has been an explosion of Darwin- nothappeninallgames,butitmayhappen equally well be in ,discusses ian analysis in the social sciences. And it has in large classes of games, depending on the the speed evolution of complex phenotypes in led to reciprocal contributions from the social dynamics in question.
  • Proquest Dissertations

    Proquest Dissertations

    Sons of Barabbas or Sons of Descartes? An evolutionary game-theoretic view of psychopathy by Lloyd D. Balbuena A thesis submitted to the Faculty of Graduate Studies and Postdoctoral Affairs in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Cognitive Science Carleton University Ottawa, Ontario ©2010, Lloyd D. Balbuena Library and Archives Bibliotheque et 1*1 Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington OttawaONK1A0N4 OttawaONK1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-79631-3 Our file Notre reference ISBN: 978-0-494-79631-3 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library and permettant a la Bibliotheque et Archives Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par I'lnternet, preter, telecommunication or on the Internet, distribuer et vendre des theses partout dans le loan, distribute and sell theses monde, a des fins commerciales ou autres, sur worldwide, for commercial or non­ support microforme, papier, electronique et/ou commercial purposes, in microform, autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in this et des droits moraux qui protege cette these. Ni thesis. Neither the thesis nor la these ni des extraits substantiels de celle-ci substantial extracts from it may be ne doivent etre imprimes ou autrement printed or otherwise reproduced reproduits sans son autorisation.
  • On the Behavior of Strategies in Hawk-Dove Game

    On the Behavior of Strategies in Hawk-Dove Game

    Journal of Game Theory 2016, 5(1): 9-15 DOI: 10.5923/j.jgt.20160501.02 On the Behavior of Strategies in Hawk-Dove Game Essam EL-Seidy Department of Mathematics, Faculty of Science, Ain Shams University, Cairo, Egypt Abstract The emergence of cooperative behavior in human and animal societies is one of the fundamental problems in biology and social sciences. In this article, we study the evolution of cooperative behavior in the hawk dove game. There are some mechanisms like kin selection, group selection, direct and indirect reciprocity can evolve the cooperation when it works alone. Here we combine two mechanisms together in one population. The transformed matrices for each combination are determined. Some properties of cooperation like risk-dominant (RD) and advantageous (AD) are studied. The property of evolutionary stable (ESS) for strategies used in this article is discussed. Keywords Hawk-dove game, Evolutionary game dynamics, of evolutionary stable strategies (ESS), Kin selection, Direct and Indirect reciprocity, Group selection difference between both games has a rather profound effect 1. Introduction on the success of both strategies. In particular, whilst by the Prisoner’s Dilemma spatial structure often facilitates Game theory provides a quantitative framework for cooperation this is often not the case in the hawk–dove game analyzing the behavior of rational players. The theory of ([14]). iterated games in particular provides a systematic framework The Hawk-Dove game ([18]), also known as the snowdrift to explore the players' relationship in a long-term. It has been game or the chicken game, is used to study a variety of topics, an important tool in the behavioral and biological sciences from the evolution of cooperation to nuclear brinkmanship and it has been often invoked by economists, political ([8], [22]).
  • Bargaining with Neighbors: Is Justice Contagious? (1999)

    Bargaining with Neighbors: Is Justice Contagious? (1999)

    Journal of Philosophy, Inc. Bargaining with Neighbors: Is Justice Contagious? Author(s): Jason Alexander and Brian Skyrms Source: The Journal of Philosophy, Vol. 96, No. 11 (Nov., 1999), pp. 588-598 Published by: Journal of Philosophy, Inc. Stable URL: http://www.jstor.org/stable/2564625 Accessed: 12-05-2016 19:03 UTC Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://about.jstor.org/terms JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Journal of Philosophy, Inc. is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Philosophy This content downloaded from 128.91.58.254 on Thu, 12 May 2016 19:03:20 UTC All use subject to http://about.jstor.org/terms 588 THEJOURNAL OF PHILOSOPHY BARGAINING WITH NEIGHBORS: IS JUSTICE CONTAGIOUS ? What is justice? The question is llarder to answer in some cases than in others. We focus on the easiest case of dis- tributive justice. Two individuals are to decide how to dis- tribute a windfall of a certain amount of money. Neither is especially entitled, or especially needy, or especially anything their positions are entirely symmetric. Their utilities derived from the dis- tribution may be taken, for all intents and purposes, simply as the amount of money received.
  • Emergence of Cooperation and Evolutionary Stability in Finite

    Emergence of Cooperation and Evolutionary Stability in Finite

    letters to nature populations may decrease cooperation and lead to more frequent 10. Clutton-Brock, T. H. et al. Selfish sentinels in cooperative mammals. Science 284, 1640–1644 (1999). escalations of conflicts in situations in which cooperation persists in 11. Seyfarth, R. M. & Cheney, D. L. Grooming alliances and reciprocal altruism in vervet monkeys. Nature 308, 541–543 (1984). well-mixed populations. Thus, spatial structure may not be as 12. Milinski, M. Tit for tat in sticklebacks and the evolution of cooperation. Nature 325, 433–435 (1987). universally beneficial for cooperation as previously thought. A 13. Milinski, M., Lu¨thi, J. H., Eggler, R. & Parker, G. A. Cooperation under predation risk: experiments on costs and benefits. Proc. R. Soc. Lond. B 264, 831–837 (1997). 14. Turner, P. E. & Chao, L. Prisoner’s dilemma in an RNA virus. Nature 398, 441–443 (1999). Methods 15. Heinsohn, R. & Parker, C. Complex cooperative strategies in group-territorial African lions. Science Spatial structure 269, 1260–1262 (1995). In our spatially structured populations, individuals are confined to sites on regular 16. Clutton-Brock, T. Breeding together: kin selection and mutualism in cooperative vertebrates. Science 100 £ 100 lattices with periodic boundary conditions, and interact with their neighbours. 296, 69–72 (2002). We used square lattices with N ¼ 4 and N ¼ 8 neighbours, hexagonal lattices (N ¼ 6) and 17. Hofbauer, J. & Sigmund, K. Evolutionary Games and Population Dynamics (Cambridge Univ. Press, triangular lattices (N ¼ 3). Whenever a site x is updated, a neighbour y is drawn at random Cambridge, UK, 1998). among all N neighbours; the chosen neighbour takes over site x with probability 18.
  • ON ZERMELO's THEOREM Rabah Amir Igor V. Evstigneev (Communicated by Alberto A. Pinto) 1. in This Note We Generalize the Follow

    ON ZERMELO's THEOREM Rabah Amir Igor V. Evstigneev (Communicated by Alberto A. Pinto) 1. in This Note We Generalize the Follow

    Journal of Dynamics and Games doi:10.3934/10.3934/jdg.2017011 c American Institute of Mathematical Sciences ON ZERMELO'S THEOREM Rabah Amir∗ Department of Economics, University of Iowa Iowa City, IA 52242-1994, USA Igor V. Evstigneev Department of Economics, University of Manchester Oxford Road, Manchester, M13 9PL, UK (Communicated by Alberto A. Pinto) Abstract. A famous result in game theory known as Zermelo's theorem says that \in chess either White can force a win, or Black can force a win, or both sides can force at least a draw". The present paper extends this result to the class of all finite-stage two-player games of complete information with alternating moves. It is shown that in any such game either the first player has a winning strategy, or the second player has a winning strategy, or both have unbeatable strategies. 1. In this note we generalize the following proposition usually referred to in the modern game-theoretic literature as Zermelo's theorem (see the paper by Zermelo [9] and its discussion and further references in Schwalbe and Walker [8]). Theorem 1. In chess either White has a winning strategy, or Black has a winning strategy, or both have strategies guaranteeing at least a draw. The main result of this paper is as follows. Theorem 2. In any finite-stage two-player game with alternating moves, either (i) player 1 has a winning strategy, or (ii) player 2 has a winning strategy, or (iii) both have unbeatable strategies. We emphasize that in this theorem we speak of any finite-stage two-player game with alternating moves, with any action sets and any real-valued payoff functions, so that the formulation of the result has a maximum level of generality.1 The notions of unbeatable and winning strategies are defined in the general context as follows.
  • Building a Champion Level Computer Poker Player

    Building a Champion Level Computer Poker Player

    University of Alberta Library Release Form Name of Author: Michael Bradley Johanson Title of Thesis: Robust Strategies and Counter-Strategies: Building a Champion Level Computer Poker Player Degree: Master of Science Year this Degree Granted: 2007 Permission is hereby granted to the University of Alberta Library to reproduce single copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. The author reserves all other publication and other rights in association with the copyright in the thesis, and except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatever without the author’s prior written permission. Michael Bradley Johanson Date: Too much chaos, nothing gets finished. Too much order, nothing gets started. — Hexar’s Corollary University of Alberta ROBUST STRATEGIES AND COUNTER-STRATEGIES: BUILDING A CHAMPION LEVEL COMPUTER POKER PLAYER by Michael Bradley Johanson A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science. Department of Computing Science Edmonton, Alberta Fall 2007 University of Alberta Faculty of Graduate Studies and Research The undersigned certify that they have read, and recommend to the Faculty of Graduate Studies and Research for acceptance, a thesis entitled Robust Strategies and Counter-Strategies: Building a Champion Level Computer Poker Player submitted by Michael Bradley Johanson in partial fulfillment of the requirements for the degree of Master of Science. Michael Bowling Supervisor Duane Szafron Michael Carbonaro External Examiner Date: To my family: my parents Brad and Sue Johanson, and my brother, Jeff Johanson.
  • Game Values and Equilibria for Undetermined Sentences of Dependence Logic

    Game Values and Equilibria for Undetermined Sentences of Dependence Logic

    Game values and equilibria for undetermined sentences of Dependence Logic MSc Thesis (Afstudeerscriptie) written by Pietro Galliani (born December 22, 1983 in Bologna, Italy) under the supervision of Prof Dr Jouko V¨a¨an¨anen, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: September 12, 2008 Prof Dr Jouko V¨a¨an¨anen Prof Dr Piet Rodenburg Prof Dr Ulle Endriss Prof Dr Peter van Emde Boas Contents 1 Introduction.............................. 1 2 Game-theoretical semantics and Independence-Friendly logic .. 2 2.1 Preliminaries ......................... 2 2.2 Game-theoretic semantics for first-order logic . 4 2.3 Games of Imperfect Information, IF-Logic, and DF-Logic 8 2.4 AcompositionalsemanticsforIFLogic . 13 2.5 Dependence atomic formulas and Dependence Logic . 19 2.6 Independenceatomicformulas . 20 2.7 Infinitarydependenceformulas . 21 3 Behavioral strategies for undetermined formulas . ... 23 3.1 BehavioralstrategiesandGamevalues . 23 3.2 Theminimaxtheorem .................... 26 3.3 Anexample.......................... 31 3.4 Infinitemodels ........................ 32 3.5 Therangeofthevaluefunction . 34 4 Probabilistic Dependence Logic and its semantics . .. 41 4.1 Thegame Hµ(φ)....................... 41 4.2 Thevalueoffirst-orderformulas . 57 4.3 ThevalueofDependenceformulas . 60 4.4 Thevaluesofconjunctions. 64 4.5 Approximate Functional Dependency in Database Theory 67 5 Extensions............................... 69 5.1 Game-theoreticnegation. 69 5.2 Linearimplication ...................... 74 5.3 Dynamic Probabilistic Dependence Logic . 76 1 Abstract Logics of imperfect information, such as IF-Logic or Dependence Logic, admit a game-theoretic semantics: every formula φ corresponds to a game H(φ) between a Verifier and a Falsifier, and the formula is true [false] if and only if the Verifier [Falsifier] has a winning strategy.
  • Varying Domain Representations in Hagl Extending the Expressiveness of a DSL for Experimental Game Theory

    Varying Domain Representations in Hagl Extending the Expressiveness of a DSL for Experimental Game Theory

    Varying Domain Representations in Hagl Extending the Expressiveness of a DSL for Experimental Game Theory Eric Walkingshaw and Martin Erwig School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, OR 97331, USA Abstract. Experimental game theory is an increasingly important re- search tool in many fields, providing insight into strategic behavior through simulation and experimentation on game theoretic models. Un- fortunately, despite relying heavily on automation, this approach has not been well supported by tools. Here we present our continuing work on Hagl, a domain-specific language embedded in Haskell, intended to dras- tically reduce the development time of such experiments and support a highly explorative research style. In this paper we present a fundamental redesign of the underlying game representation in Hagl. These changes allow us to better utilize do- main knowledge by allowing different classes of games to be represented differently, exploiting existing domain representations and algorithms. In particular, we show how this supports analytical extensions to Hagl, and makes strategies for state-based games vastly simpler and more efficient. 1 Introduction Game theory has traditionally been used as an analytical framework. A game is a formal model of a strategic situation in which players interact by making moves, eventually achieving a payoff in which each player is awarded a value based on the outcome of the game. Classical game theorists have derived many ways of solving such situations, by mathematically computing “optimal” strategies of play, usually centered around notions of stability or equilibrium [1]. The derivation of these optimal strategies, however, almost always assumes perfectly rational play by all players—an assumption which rarely holds in prac- tice.
  • An Evolutionary Game-Theoretic Approach for Assessing Privacy Protection in Mhealth Systems

    An Evolutionary Game-Theoretic Approach for Assessing Privacy Protection in Mhealth Systems

    International Journal of Environmental Research and Public Health Article An Evolutionary Game-Theoretic Approach for Assessing Privacy Protection in mHealth Systems Guang Zhu 1,2,* , Hu Liu 1 and Mining Feng 2 1 School of Management Science and Engineering, Nanjing University of Information Science and Technology, Nanjing 210044, China; [email protected] 2 China Institute of Manufacturing Development, Nanjing University of Information Science and Technology, Nanjing 210044, China; [email protected] * Correspondence: [email protected] Received: 9 September 2018; Accepted: 3 October 2018; Published: 8 October 2018 Abstract: With the rapid deployment of mobile technologies and their applications in the healthcare domain, privacy concerns have emerged as one of the most critical issues. Traditional technical and organizational approaches used to address privacy issues ignore economic factors, which are increasingly important in the investment strategy of those responsible for ensuring privacy protection. Taking the mHealth system as the context, this article builds an evolutionary game to model three types of entities (including system providers, hospitals and governments) under the conditions of incomplete information and bounded rationality. Given that the various participating entities are often unable to accurately estimate their own profits or costs, we propose a quantified approach to analyzing the optimal strategy of privacy investment and regulation. Numerical examples are provided for illustration and simulation purpose. Based upon these examples, several countermeasures and suggestions for privacy protection are proposed. Our analytical results show that governmental regulation and auditing has a significant impact on the strategic choice of the other two entities involved. In addition, the strategic choices of system providers and hospitals are not only correlated with profits and investment costs, but they are also significantly affected by free riding.
  • FINANCIAL MARKETS: BEHAVIORAL EQUILIBRIUM and EVOLUTIONARY DYNAMICS Thorsten Hens University of Zurich Joint Work with Rabah

    FINANCIAL MARKETS: BEHAVIORAL EQUILIBRIUM and EVOLUTIONARY DYNAMICS Thorsten Hens University of Zurich Joint Work with Rabah

    FINANCIAL MARKETS: BEHAVIORAL EQUILIBRIUM AND EVOLUTIONARY DYNAMICS Thorsten Hens University of Zurich Joint work with Rabah Amir, University of Arizona Igor Evstigneev, University of Manchester Klaus R. Schenk-Hopp´e, University of Leeds and Norwegian Business School (NHH), Bergen The focus of work: development of a new theory of market dynamics and equilibrium { a plausible alternative to the classical General Equilibrium theory (Walras, Arrow, Debreu, Radner and others). The characteristic feature of the theory is the systematic application of behavioural approaches combined with the evolutionary modeling of financial markets. The theory addresses from new positions the fundamental questions and problems pertaining to Finance and Financial Economics, especially those related to equilibrium asset pricing and portfolio selection, and is aimed at practical quantitative applications. Walrasian equilibrium Conventional models of equilibrium and dynamics of asset markets are based on the principles of Walrasian General Equilibrium theory. This theory typically assumes that market participants are fully rational and act so as to maximize utilities of consumption subject to budget constraints. Walras, Arrow, Debreu. Hicks, Lindahl, Hildenbrand, Grandmont { temporary equilibrium. Radner: equilibrium in (incomplete) asset markets. Text: Magill and Quinzii. "Although academic models often assume that all investors are ratio- nal, this assumption is clearly an expository device not to be taken seriously." Mark Rubinstein (Financial Analysts Journal,