I think that Vadim’s optimal predictors can play the same role as reflective oracles in the bounded case, or at least that’s the idea.
Both of them are just analysis tools though, not algorithms. I think the corresponding algorithms will be closer to what Daniel describes, that is the agent does not treat itself specially (except for correlation between its decision and the agent’s output).
I think that Vadim’s optimal predictors can play the same role as reflective oracles in the bounded case, or at least that’s the idea.
Both of them are just analysis tools though, not algorithms. I think the corresponding algorithms will be closer to what Daniel describes, that is the agent does not treat itself specially (except for correlation between its decision and the agent’s output).