Conference item icon

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:
Publisher copy:
10.1007/978-3-319-67504-6_17

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Engineering & Physical Sciences Research Council
Grant:
EP/N021282/1
Publisher:
Springer Verlag
Host title:
Lecture Notes in Computer Science
Journal:
Lecture Notes in Computer Science More from this journal
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
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


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP