Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

A new formalization of a meta-game using the lambda calculus.

Gen Masumoto1, Takashi Ikegami

  • 1The Faculty of Economics, Kyoto Sangyo University, Kyoto 603-8555, Japan. gen@cc.kyoto-su.ac.jp

Bio Systems
|May 13, 2005
PubMed
Summary

This study introduces a novel game system using lambda-calculus to model strategies and game masters. It reveals how meta-strategies can emerge in the prisoner's dilemma game without repetition.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Community First Theory: How Collective Organization Generates Individual Diversity.

Entropy (Basel, Switzerland)·2026
Same author

Exploring Cultural Evolution Through Modular Dynamics in Temporal Hashtag Networks.

Entropy (Basel, Switzerland)·2026
Same author

Dwell Time Outperforms Social and Chemical Predictors of Behavioural Transitions in Ants.

Entropy (Basel, Switzerland)·2026
Same author

From text to motion: grounding GPT-4 in a humanoid robot "Alter3".

Frontiers in robotics and AI·2025
Same author

Spontaneous Emergence of Agent Individuality Through Social Interactions in Large Language Model-Based Communities.

Entropy (Basel, Switzerland)·2025
Same author

Revealing gene expression heterogeneity in a clonal population of <i>Tetrahymena thermophila</i> through single-cell RNA sequencing.

Biochemistry and biophysics reports·2024

Area of Science:

  • Theoretical Computer Science
  • Game Theory
  • Mathematical Logic

Background:

  • Traditional game theory often assumes repeated interactions for complex strategy evolution.
  • Modeling game dynamics and emergent strategies requires robust formalisms.
  • Lambda-calculus offers a powerful framework for representing computational processes and strategies.

Purpose of the Study:

  • To introduce a new game system formalism based on lambda-calculus.
  • To analyze the emergence of meta-strategies in the prisoner's dilemma game.
  • To investigate the evolution of these meta-strategies within the lambda formalism.

Main Methods:

  • Developing a game system formalism using lambda-calculus to represent strategies and game masters.
  • Applying the formalism to the prisoner's dilemma game.

Related Experiment Videos

  • Examining strategy evolution and the emergence of meta-strategies computationally.

    • Main Results:

    • The proposed lambda-calculus formalism successfully models game strategies and a game master.
    • Meta-strategies were observed to emerge in the prisoner's dilemma game, even in a single-round context.
    • The study provides insights into the evolutionary dynamics of meta-strategies within this formal system.

    Conclusions:

    • The lambda-calculus based game system offers a novel approach to studying game theory.
    • Emergent meta-strategies are a fundamental aspect of game dynamics, not solely dependent on repetition.
    • This formalism facilitates deeper analysis of strategic interactions and their evolution.