updateless decision theory
In plain wordsA theory of rational choice in which an agent commits to the best overall plan for every situation it might face, instead of re-deciding each time it learns something new.
A decision theorydecision theory, n.: The study of how to make the best choice when outcomes are uncertain, by weighing how likely each result is against how much it matters. in which an agent does not condition its choice on what it has observed; instead it selects, from the standpoint of its prior beliefs, the policy — a mapping from possible observations to actions — with the highest expected utility, and then does what that policy prescribes for its actual observations. Treating its decision as the output of an abstract computation that may also run inside predictors, copies or simulations of itself, it reasons about all of these instances together. UDT therefore pays up in 'counterfactual mugging', cooperates with exact copies of itself in a prisoner's dilemmagame theory, n.: The mathematics of strategic decisions, where each player's best move depends on what the others do. It is used to study competition and cooperation among people, firms, nations and AI agents. and takes one box in Newcomb's problem, cases where causal decision theory does worse. Functional decision theory (FDT), proposed by Eliezer Yudkowsky and Nate Soares, generalizes the same move — evaluating an act as the output of the agent's decision function — and counts UDT as an updateless variant. Open problems include defining logical counterfactuals and avoiding 'commitment races' between updateless agents.
An updateless agent pays the predictor, because the policy of paying had the higher expected value before the coin was flipped.
Origin
Proposed by the computer scientist Wei Dai in the 2009 LessWrong post 'Towards a New Decision Theory', building on Eliezer Yudkowsky's timeless decision theory (2009–2010), and developed in the Machine Intelligence Research Institute's agent-foundations research. Yudkowsky and Nate Soares set out functional decision theory in a 2017 paper.
Usage note
Academic decision theory mostly debates causal versus evidential decision theory, and UDT and FDT have attracted little uptake there; critics such as William MacAskill (2019) object that they recommend acts that predictably lose in the agent's actual situation. Whether these questions matter for practical AI systems is disputed.
Related
- decision theorydecision theory, n.: The study of how to make the best choice when outcomes are uncertain, by weighing how likely each result is against how much it matters.
- embedded agencyembedded agency, n.: The puzzle of how an agent should reason when it is itself part of the world it is trying to understand and change, rather than standing outside it.
- logical inductionlogical induction, n.: A mathematical method for giving sensible, steadily improving probabilities to math claims that haven't been proved or disproved yet, much as a betting market prices uncertain events.
- Machine Intelligence Research InstituteMachine Intelligence Research Institute, prop. n.: A small nonprofit in Berkeley, California, among the first to warn that smarter-than-human AI could destroy humanity, which now campaigns for a worldwide halt to building it.
- Eliezer YudkowskyEliezer Yudkowsky, prop. n.: An American writer and AI theorist who, from around 2000, argued that superhuman AI would likely destroy humanity unless its goals were made safe, and who founded an online community devoted to rational thinking.
- rationalist communityrationalist community, n.: A loose online community that prizes careful reasoning and spotting one's own biases; gathered around the forum LessWrong, it was one of the first groups to take the dangers of advanced AI seriously.
Sources
- Dai, W. (2009). Towards a New Decision Theory. LessWrong.
- Yudkowsky, E. & Soares, N. (2017). Functional Decision Theory: A New Theory of Instrumental Rationality. arXiv:1710.05060.
Mentioned in
logical inductionlogical induction, n.: A mathematical method for giving sensible, steadily improving probabilities to math claims that haven't been proved or disproved yet, much as a betting market prices uncertain events., logical uncertaintylogical uncertainty, n.: Uncertainty about math or logic facts that are settled in principle but that you haven't worked out yet — like not knowing a distant digit of pi until you compute it.