English
Related papers

Related papers: Compositional game theory

200 papers

The categories of open learners (due to Fong, Spivak and Tuy\'eras) and open games (due to the present author, Ghani, Winschel and Zahn) bear a very striking and unexpected similarity. The purpose of this short note is to prove that there…

Category Theory · Mathematics 2019-02-26 Jules Hedges

A solution concept on a class of transferable utility coalitional games is a multifunction satisfying given criteria of economic rationality. Every solution associates a set of payoff allocations with a coalitional game. This general…

Combinatorics · Mathematics 2020-10-13 Tomáš Kroupa

This paper uses category theory to develop an entirely new approach to approximate game theory. Game theory is the study of how different agents within a multi-agent system take decisions. At its core, game theory asks what an optimal…

Computer Science and Game Theory · Computer Science 2025-09-26 Neil Ghani

Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order…

Logic in Computer Science · Computer Science 2009-08-28 Samuel Mimram

The game theory techniques are used to find the equilibrium of a market. Game theory refers to the ways in which strategic interactions among economic agents produce outcomes with respect to the preferences (or utilities) of those agents,…

Computer Science and Game Theory · Computer Science 2012-10-24 Marx Boopathi

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…

Logic in Computer Science · Computer Science 2019-09-04 Yong Wang

In applied game theory the motivation of players is a key element. It is encoded in the payoffs of the game form and often based on utility functions. But there are cases were formal descriptions in the form of a utility function do not…

Computer Science and Game Theory · Computer Science 2015-06-04 Jules Hedges , Paulo Oliva , Evguenia Sprits , Viktor Winschel , Philipp Zahn

The paper presents an evolutionary game-theoretic approach to open access publishing as an asymmetric game between scientists and publishers. We show how the ordinary differential equations of the model presented can be written as a system…

Optimization and Control · Mathematics 2009-03-27 Katharina Habermann , Lutz Habermann

Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order…

Logic in Computer Science · Computer Science 2011-01-27 Samuel Mimram

Traditionally social sciences are interested in structuring people in multiple groups based on their individual preferences. This pa- per suggests an approach to this problem in the framework of a non- cooperative game theory. Definition of…

Optimization and Control · Mathematics 2017-05-02 Dmitry Levando

Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fra\"iss\'e games. Remarkably, the categories of coalgebras for these comonads capture preservation of…

Logic in Computer Science · Computer Science 2024-07-02 Samson Abramsky , Luca Reggio

In this paper we will discuss scoring play games. We will give the basic definitions for scoring play games, and show that they form a well defined set, with clear and distinct outcome classes under these definitions. We will also show that…

Combinatorics · Mathematics 2012-11-08 Fraser Stewart

Cooperative game theory studies how to allocate the joint value generated by a set of players. These games are typically analyzed using the characteristic function form with transferable utility, which represents the value attainable by…

Theoretical Economics · Economics 2025-12-18 Ata Atay , Christian Trudeau

Conventional noncooperative game theory hypothesizes that the joint strategy of a set of players in a game must satisfy an "equilibrium concept". All other joint strategies are considered impossible; the only issue is what equilibrium…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 David H. Wolpert

Open parity games are proposed as a compositional extension of parity games with algebraic operations, forming string diagrams of parity games. A potential application of string diagrams of parity games is to describe a large parity game…

Logic in Computer Science · Computer Science 2025-05-29 Kazuki Watanabe

We introduce the concepts of Bayesian lens, characterizing the bidirectional structure of exact Bayesian inference, and statistical game, formalizing the optimization objectives of approximate inference problems. We prove that Bayesian…

Statistics Theory · Mathematics 2022-06-10 Toby St. Clere Smithe

We introduce a simple stochastic dynamics for game theory. It assumes ``local'' rationality in the sense that any player climbs the gradient of his utility function in the presence of a stochastic force which represents deviation from…

Statistical Mechanics · Physics 2008-11-23 Matteo Marsili , Yi-Cheng Zhang

A generalized model of games is proposed, in which cooperative games and non-cooperative games are special cases. Some games that are neither cooperative nor non-cooperative can be expressed and analyzed. The model is based on relationships…

Computer Science and Game Theory · Computer Science 2016-10-10 Jiawei Li

Coordination games have been of interest to game theorists, economists, and ecologists for many years to study such problems as the emergence of local conventions and the evolution of cooperative behavior. Approaches for understanding the…

Computer Science and Game Theory · Computer Science 2025-07-09 John S. McAlister , Nina H. Fefferman

Communication is compositional if complex signals can be represented as a combination of simpler subparts. In this paper, we theoretically show that inductive biases on both the training framework and the data are needed to develop a…

Machine Learning · Computer Science 2024-04-04 Łukasz Kuciński , Tomasz Korbak , Paweł Kołodziej , Piotr Miłoś