Higher-Order Decision Theory

@inproceedings{Hedges2017HigherOrderDT,
  title={Higher-Order Decision Theory},
  author={Jules Hedges and Paulo Oliva and Evguenia Shprits and Viktor Winschel and Philipp Zahn},
  booktitle={ADT},
  year={2017}
}
This paper investigates a surprising relationship between decision theory and proof theory. Using constructions originating in proof theory based on higher-order functions, so called quantifiers and selection functions, we show that these functionals model choice behavior of individual agents. Our framework is expressive, it captures classical theories such as utility functions and preference relations but it can also be used to faithfully model abstract goals such as coordination. It is… 

Higher-Order Game Theory

TLDR
This paper introduces a representation of games where players' goals are modeled based on so-called higher-order functions, and shows that equilibrium conditions based on Nash can be easily adapted to this framework.

Towards compositional game theory

We introduce a new foundation for game theory based on so-called open games. Unlike existing approaches open games are fully compositional: games are built using algebraic operations from standard

Sequential games and nondeterministic selection functions

TLDR
It is shown, surprisingly, no non-deterministic selection function exists which computes the set of all subgame perfect Nash equilibrium plays, but it is shown that there are selection functions corresponding to sequential versions of the iterated removal of strictly dominated strategies.

Fe b 20 18 Compositional Game Theory

We introduce open games as a compositional foundation of economic game theory. A compositional approach potentially allows methods of game theory and theoretical computer science to be applied to

Compositional Game Theory

TLDR
The concept of coutility is introduced, which is the utility generated by an open game and returned to its environment and it is shown that a variety of games can be faithfully represented as open games in the sense of having the same Nash equilibria and off-equilibrium best responses.

Computational Goals, Values and Decision-Making

TLDR
This commentary rejects the idea that a rational agent will never select an action that changes its goal but also argues that an artificial intelligence is unlikely to be purely rational in terms of always acting to maximise a utility function.

Diegetic representation of feedback in open games

We improve the framework of open games with agency [9, 4] by showing how the players’ counterfactual analysis giving rise to Nash equilibria can be described in the dynamics of the game itself (hence

Compositionality and String Diagrams for Game Theory

We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics, quantum computing

Towards foundations of categorical cybernetics

TLDR
It is believed that ‘cybernetic’ is an appropriate name for the processes that can be described in this categorical framework for processes which interact bidirectionally with both an environment and a ‘controller’.

Bar recursion is not computable via iteration

  • J. Longley
  • Mathematics, Computer Science
    Comput.
  • 2019
We show that the bar recursion operators of Spector and Kohlenbach, considered as third-order functionals acting on total arguments, are not computable in Goedel's System T plus minimization, which

References

SHOWING 1-10 OF 28 REFERENCES

Sequential games and optimal strategies

  • M. EscardóPaulo Oliva
  • Mathematics
    Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2010
This article gives an overview of recent work on the theory of selection functions. We explain the intuition behind these higher type objects, and define a general notion of sequential game whose

Selection Equilibria of Higher-Order Games

TLDR
It is shown that for a special class of games these two notions coincide, but that in general, the notion of selection equilibrium seems to be the right notion to consider, as illustrated through variants of coordination games where agents are modelled via fixed-point operators.

Higher-Order Game Theory

TLDR
This paper introduces a representation of games where players' goals are modeled based on so-called higher-order functions, and shows that equilibrium conditions based on Nash can be easily adapted to this framework.

A generalization of Nash's theorem with higher-order functionals

  • Julian Hedges
  • Economics, Mathematics
    Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2013
TLDR
The Nash existence theorem for mixed-strategy equilibria of finite games is generalized to games defined by selection functions, and a normal form construction is given, which generalizes the game-theoretic normal form, and its soundness is proved.

Rationalizing choice functions by multiple rationales

The paper presents a notion of rationalizing choice functions that violate the “Independence of Irrelevant Alternatives” axiom. A collection of linear orderings is said to provide a rationalization

String diagrams for game theory

TLDR
A monoidal category whose morphisms are games (in the sense of game theory, not game semantics) and an associated diagrammatic language is presented and a definition of Nash equilibrium is given which is recursive on the causal structure of the game.

A compositional approach to economic game theory

TLDR
An new and original model of economic games based upon the computer science idea of compositionality is built, and the usual lexicon of games is augmented with a new concept of coutility, which guarantees the model is mathematically rigourous.

Utility Representation of an Incomplete Preference Relation

TLDR
These results generalize some of the classical utility representation theorems of the theory of individual choice and paves the way towards developing a consumer theory that realistically allows individuals to exhibit some “indecisiveness” on occasion.

Selection functions, bar recursion and backward induction

TLDR
This work explains bar recursion in terms of sequential games, and shows how it can be naturally understood as a generalisation of the principle of backward induction that arises in game theory.