A new formalization of a meta-game using the lambda calculus.
This paper presents a new game system formalism. The system describes both strategies and a game master (who computes scores in a given game system) in terms of lambda-calculus. This formalism revisits the prisoner's dilemma game, to discuss how meta-strategies emerge in this classical game, even without repetition. We have also examined the evolution of meta-strategies in lambda formalism.
Masumoto
Gen
G
The Faculty of Economics, Kyoto Sangyo University, Kyoto 603-8555, Japan. gen@cc.kyoto-su.ac.jp
Ikegami
Takashi
T
D019295:Computational Biology / Q000379:methods*; D005716:Game Theory; D006801:Humans; D008433:Mathematics; D008957:Models, Genetic; D008962:Models, Theoretical; D012984:Software