On the purposes of decision theory research
Following the examples of Rob Bensinger and Rohin Shah, this post will try to clarify the aims of part of my research interests, and disclaim some possible misunderstandings about it. (I’m obviously only speaking for myself and not for anyone else doing decision theory research.)
I think decision theory research is useful for:
Gaining information about the nature of rationality (e.g., is “realism about rationality” true?) and the nature of philosophy (e.g., is it possible to make real progress in decision theory, and if so what cognitive processes are we using to do that?), and helping to solve the problems of normativity, meta-ethics, and metaphilosophy.
Better understanding potential AI safety failure modes that are due to flawed decision procedures implemented in or by AI.
Making progress on various seemingly important intellectual puzzles that seem directly related to decision theory, such as free will, anthropic reasoning, logical uncertainty, Rob’s examples of counterfactuals, updatelessness, and coordination, and more.
Firming up the foundations of human rationality.
To me, decision theory research is not meant to:
Provide a correct or normative decision theory that will be used as a specification or approximation target for programming or training a potentially superintelligent AI.
Help create “safety arguments” that aim to show that a proposed or already existing AI is free from decision theoretic flaws.
To help explain 5 and 6, here’s what I wrote in a previous comment (slightly edited):
One meta level above what even UDT tries to be is decision theory (as a philosophical subject) and one level above that is metaphilosophy, and my current thinking is that it seems bad (potentially dangerous or regretful) to put any significant (i.e., superhuman) amount of computation into anything except doing philosophy.
To put it another way, any decision theory that we come up with might have some kind of flaw that other agents can exploit, or just a flaw in general, such as in how well it cooperates or negotiates with or exploits other agents (which might include how quickly/cleverly it can make the necessary commitments). Wouldn’t it be better to put computation into trying to find and fix such flaws (in other words, coming up with better decision theories) than into any particular object-level decision theory, at least until the superhuman philosophical computation itself decides to start doing the latter?
Comparing my current post to Rob’s post on the same general topic, my mentions of 1, 2, and 4 above seem to be new, and he didn’t seem to share (or didn’t choose to emphasize) my concern that decision theory research (as done by humans in the foreseeable future) can’t solve decision theory in a definitive enough way that would obviate the need to make sure that any potentially superintelligent AI can find and fix decision theoretic flaws in itself.