I think decision theory is a big functionalist part of LW thinking about AI or it at least it used to be.
We don’t have scenarios where utility depends upon the amount of time taken to compute results. E.g. Impatient Jim only cooperates if you cooperate within 5 ms. Which precludes vasts searches through proof space about Jims source code.
I find Impatient Jim closer to the problems we face in the real world than Omniscient Omegas. YMMV.
Sorry that is after I checked out of keeping up with LW. Have any formal problems like the smoking lesion or sleeping beauty been created from the insight that speed matters?
Should they be? It looks like people here would be receptive if you have an idea for a problem that doesn’t just tell us what we already know. But it also looks to me like the winners of the tournament both approximated in a practical way the search through many proofs approach (LW writeup and discussion here.)
I think decision theory is a big functionalist part of LW thinking about AI or it at least it used to be.
We don’t have scenarios where utility depends upon the amount of time taken to compute results. E.g. Impatient Jim only cooperates if you cooperate within 5 ms. Which precludes vasts searches through proof space about Jims source code.
I find Impatient Jim closer to the problems we face in the real world than Omniscient Omegas. YMMV.
The orthodoxy is not consistently applied :)
What?
Sorry that is after I checked out of keeping up with LW. Have any formal problems like the smoking lesion or sleeping beauty been created from the insight that speed matters?
Should they be? It looks like people here would be receptive if you have an idea for a problem that doesn’t just tell us what we already know. But it also looks to me like the winners of the tournament both approximated in a practical way the search through many proofs approach (LW writeup and discussion here.)
Actually strictly speaking that is game theory not decision theory. Probably worth pointing out. I forgot the distinction for a while myself.