Abstract
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 directly implementable in functional programming languages. Lastly, modeling an agent with selection functions and quantifiers is modular and thereby allows to seamlessly combine agents bridging decision theory and game theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See also the working paper version [9] for more details.
References
Ambrus, A., Rozen, K.: Rationalising choice with multi-self models. Econ. J. 125(585), 1136–1156 (2015)
Camerer, C.F.: Behavioral Game Theory: Experiments in Strategic Interaction. The Roundtable Series in Behavioral Economics. Princeton University Press, Princeton (2011)
Escardó, M., Oliva, P.: Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20(2), 127–168 (2010)
Escardo, M., Oliva, P.: Sequential games and optimal strategies. Proc. R. Soc. A Math. Phys. Eng. Sci. 467(2130), 1519–1545 (2011)
Ghani, N., Hedges, J.: A compositional approach to economic game theory. CoRR, abs/1603.04641 (2016)
Hedges, J.: A generalisation of Nash’s theorem with higher-order functionals. Proc. R. Soc. A 469(2154), 1–18 (2013)
Hedges, J.: String diagrams for game theory. CoRR, abs/1503.06072 (2015)
Hedges, J., Oliva, P., Shprits, E., Winschel, V., Zahn, P.: Selection equilibria of higher-order games. In: Lierler, Y., Taha, W. (eds.) PADL 2017. LNCS, vol. 10137, pp. 136–151. Springer, Cham (2017). doi:10.1007/978-3-319-51676-9_9
Hedges, J., Oliva, P., Sprits, E., Winschel, V., Zahn, P.: Higher-order game theory. CoRR, abs/1506.01002 (2015)
Hedges, J., Shprits, E., Winschel, V., Zahn, P.: Compositionality and string diagrams for game theory. CoRR, abs/1604.06061 (2016)
Kahneman, D.: Thinking, Fast and Slow. Farrar, Straus and Giroux, New York (2011)
Kalai, G., Rubinstein, A., Spiegler, R.: Rationalizing choice functions by multiple rationales. Econometrica 70(6), 2481–2488 (2002)
Loomes, G., Sugden, R.: Regret theory: An alternative theory of rational choice under uncertainty. Econ. J. 92(368), 805–824 (1982)
Mostowski, A.: On a generalization of quantifiers. Fund. Math. 44(1), 12–36 (1957)
Savage, L.J.: The theory of statistical decision. J. Am. Stat. Assoc. 46(253), 55–67 (1951)
Wald, A.: Statistical Decision Functions. Wiley, Oxford (1950)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Hedges, J., Oliva, P., Shprits, E., Winschel, V., Zahn, P. (2017). Higher-Order Decision Theory. In: Rothe, J. (eds) Algorithmic Decision Theory. ADT 2017. Lecture Notes in Computer Science(), vol 10576. Springer, Cham. https://doi.org/10.1007/978-3-319-67504-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-67504-6_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67503-9
Online ISBN: 978-3-319-67504-6
eBook Packages: Computer ScienceComputer Science (R0)