Conference item
Higher-order decision theory
- 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 dire...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Accepted manuscript, pdf, 198.2KB)
-
- Publisher copy:
- 10.1007/978-3-319-67504-6_17
Authors
Funding
Bibliographic Details
- Publisher:
- Springer Verlag Publisher's website
- Host title:
- Lecture Notes in Computer Science
- Journal:
- Lecture Notes in Computer Science Journal website
- Volume:
- ADT 2017
- Pages:
- 241-254
- Publication date:
- 2017-09-24
- Acceptance date:
- 2017-05-14
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- ISBN:
- 9783319675039
Item Description
- Keywords:
- Pubs id:
-
pubs:745701
- UUID:
-
uuid:8aab8b09-2dcd-4978-9355-665d44a27152
- Local pid:
- pubs:745701
- Source identifiers:
-
745701
- Deposit date:
- 2019-02-21
Terms of use
- Copyright holder:
- Springer International Publishing
- Copyright date:
- 2017
- Notes:
- © Springer International Publishing AG 2017. This is the accepted manuscript version of the article. The final version is available online from Springer International Publishing at: 10.1007/978-3-319-67504-6_17
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record