# 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…

## 11 Citations

### Higher-Order Game Theory

- Economics, Computer ScienceArXiv
- 2015

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

- Economics
- 2016

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

- EconomicsArXiv
- 2018

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

- Economics
- 2018

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

- EconomicsLICS
- 2018

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

- BusinessSci. Eng. Ethics
- 2020

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

- EconomicsArXiv
- 2022

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

- Computer ScienceArXiv
- 2016

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

- Computer Science
- 2021

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

- Mathematics, Computer ScienceComput.
- 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

- MathematicsProceedings 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

- EconomicsPADL
- 2017

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

- Economics, Computer ScienceArXiv
- 2015

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

- Economics, MathematicsProceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
- 2013

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

- Economics
- 2002

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

- Computer ScienceArXiv
- 2015

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

- EconomicsArXiv
- 2016

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

- EconomicsJ. Econ. Theory
- 2002

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

- EconomicsMathematical Structures in Computer Science
- 2010

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.