introducing open games
play

Introducing open games Jules Hedges Joint work with Neil Ghani - PowerPoint PPT Presentation

Intro to game theory Compositionality Open games Introducing open games Jules Hedges Joint work with Neil Ghani Viktor Winschel Philipp Zahn University of Oxford February 24, 2017 Intro to game theory Compositionality Open games


  1. Intro to game theory Compositionality Open games Introducing open games Jules Hedges Joint work with Neil Ghani Viktor Winschel Philipp Zahn University of Oxford February 24, 2017

  2. Intro to game theory Compositionality Open games Motivation: powerful machinery vs. hard problems

  3. Intro to game theory Compositionality Open games What game theory is Mathematical theory of interacting “rational” agents

  4. Intro to game theory Compositionality Open games What game theory is Mathematical theory of interacting “rational” agents Players make observations and then make choices

  5. Intro to game theory Compositionality Open games What game theory is Mathematical theory of interacting “rational” agents Players make observations and then make choices Group choices determine payoffs

  6. Intro to game theory Compositionality Open games What game theory is Mathematical theory of interacting “rational” agents Players make observations and then make choices Group choices determine payoffs “Local view” of rationality: players act to maximise payoff

  7. Intro to game theory Compositionality Open games What game theory is Mathematical theory of interacting “rational” agents Players make observations and then make choices Group choices determine payoffs “Local view” of rationality: players act to maximise payoff “Global view”: equilibrium strategies

  8. Intro to game theory Compositionality Open games Example: penalty shootout a , b ∈ { L , R }

  9. Intro to game theory Compositionality Open games Example: penalty shootout a , b ∈ { L , R } � (+1 , − 1) if a � = b π ( a , b ) = ( − 1 , +1) if a = b

  10. Intro to game theory Compositionality Open games Example: penalty shootout a , b ∈ { L , R } � (+1 , − 1) if a � = b π ( a , b ) = ( − 1 , +1) if a = b Unique (probabilistic) equilibrium: a = b = 1 2 | L � + 1 2 | R �

  11. Intro to game theory Compositionality Open games Example: penalty shootout a , b ∈ { L , R } � (+1 , − 1) if a � = b π ( a , b ) = ( − 1 , +1) if a = b Unique (probabilistic) equilibrium: a = b = 1 2 | L � + 1 2 | R � Nash’s theorem generalises this situation

  12. Intro to game theory Compositionality Open games Example: the $$$ auction

  13. Intro to game theory Compositionality Open games Game theory has some issues Well known: equilibrium as behavioural prediction is experimentally falsified (e.g. ultimatum game)

  14. Intro to game theory Compositionality Open games Game theory has some issues Well known: equilibrium as behavioural prediction is experimentally falsified (e.g. ultimatum game) Harsanyi type spaces are accurate but underfit (and mathematically hard!)

  15. Intro to game theory Compositionality Open games Game theory has some issues Well known: equilibrium as behavioural prediction is experimentally falsified (e.g. ultimatum game) Harsanyi type spaces are accurate but underfit (and mathematically hard!) There is no accepted operational theory (or “equilibriating process”) (c.f. evolutionary game theory)

  16. Intro to game theory Compositionality Open games Game theory has some issues Well known: equilibrium as behavioural prediction is experimentally falsified (e.g. ultimatum game) Harsanyi type spaces are accurate but underfit (and mathematically hard!) There is no accepted operational theory (or “equilibriating process”) (c.f. evolutionary game theory) Serious computability/complexity issues (algorithmic game theory)

  17. Intro to game theory Compositionality Open games Game theory has some issues Well known: equilibrium as behavioural prediction is experimentally falsified (e.g. ultimatum game) Harsanyi type spaces are accurate but underfit (and mathematically hard!) There is no accepted operational theory (or “equilibriating process”) (c.f. evolutionary game theory) Serious computability/complexity issues (algorithmic game theory) Ordinary games do not compose/scale

  18. Intro to game theory Compositionality Open games The fundamental headache of social science Beliefs have causal effects

  19. Intro to game theory Compositionality Open games What is compositionality? A theory is compositional if:

  20. Intro to game theory Compositionality Open games What is compositionality? A theory is compositional if: Objects of interest are black boxes with interfaces

  21. Intro to game theory Compositionality Open games What is compositionality? A theory is compositional if: Objects of interest are black boxes with interfaces Objects can be composed without knowing how they are defined

  22. Intro to game theory Compositionality Open games What is compositionality? A theory is compositional if: Objects of interest are black boxes with interfaces Objects can be composed without knowing how they are defined Consequence: can easily change one component in a large structure

  23. Intro to game theory Compositionality Open games What is compositionality? A theory is compositional if: Objects of interest are black boxes with interfaces Objects can be composed without knowing how they are defined Consequence: can easily change one component in a large structure All reasoning is by structural induction on composition

  24. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language

  25. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language Internal reasoning in a logic, algebraic structure, category, etc.

  26. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language Internal reasoning in a logic, algebraic structure, category, etc. Most systems designed by human engineers

  27. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language Internal reasoning in a logic, algebraic structure, category, etc. Most systems designed by human engineers Organisations made of people (e.g. a company)

  28. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language Internal reasoning in a logic, algebraic structure, category, etc. Most systems designed by human engineers Organisations made of people (e.g. a company) Non-examples: Analytic solution of differential equations

  29. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language Internal reasoning in a logic, algebraic structure, category, etc. Most systems designed by human engineers Organisations made of people (e.g. a company) Non-examples: Analytic solution of differential equations Natural (biological) systems

  30. Intro to game theory Compositionality Open games Examples of compositional systems Any serious programming language Internal reasoning in a logic, algebraic structure, category, etc. Most systems designed by human engineers Organisations made of people (e.g. a company) Non-examples: Analytic solution of differential equations Natural (biological) systems Economic systems

  31. Intro to game theory Compositionality Open games The compositionality hypothesis If a theory is compositional, then reasoning with it is scalable

  32. Intro to game theory Compositionality Open games The compositionality hypothesis If a theory is compositional, then reasoning with it is scalable Hypothesis Compositionality is the only way to be scalable

  33. Intro to game theory Compositionality Open games Compositionality is delicate Compositionality is not all-or-nothing

  34. Intro to game theory Compositionality Open games Compositionality is delicate Compositionality is not all-or-nothing In programming languages it is harmed by: Goto Mutable global state Inheritance Type classes a la Haskell

  35. Intro to game theory Compositionality Open games Compositionality is delicate Compositionality is not all-or-nothing In programming languages it is harmed by: Goto Mutable global state Inheritance Type classes a la Haskell More generally: Leaky abstractions Emergent behaviour

  36. Intro to game theory Compositionality Open games Compositionality via symmetric monoidal categories (1) Objects (aka. interfaces, types, systems) X X

  37. Intro to game theory Compositionality Open games Compositionality via symmetric monoidal categories (1) Objects (aka. interfaces, types, systems) X X Morphisms (aka. black boxes, processes) f : X → Y Y f X

  38. Intro to game theory Compositionality Open games Compositionality via symmetric monoidal categories (1) Compound object X 1 ⊗ X 2 Objects (aka. interfaces, types, systems) X X 1 X 2 X Morphisms (aka. black boxes, processes) f : X → Y Y f X

  39. Intro to game theory Compositionality Open games Compositionality via symmetric monoidal categories (1) Compound object X 1 ⊗ X 2 Objects (aka. interfaces, types, systems) X X 1 X 2 X Monoidal product (aka. tensor product, simultaneous/spatial Morphisms (aka. black boxes, composition) processes) f : X → Y f 1 ⊗ f 2 : X 1 ⊗ X 2 → Y 1 ⊗ Y 2 Y Y 1 Y 2 f f 1 f 2 X X 1 X 2

  40. Intro to game theory Compositionality Open games Compositionality via symmetric monoidal categories (2) Categorical composition (aka. sequential/temporal composition) g ◦ f : X → Z Z g Y f X

Recommend


More recommend