Sorry. I wasn’t trying to ask my questions as questions about how R would make decisions. I was asking questions to try to answer your question about the relationship between exceptionless and timeless decision-making, by pointing out dimensions of a map of ways for R to make decisions. For some of those ways, S would be “timeful” around R’s beliefs or time of coding, and for some of those ways S would be less timeful.
I have an intuition that there is a version of reflective consistency which requires R to code S so that, if R was created by another agent Q, S would make decisions using Q’s beliefs even if Q’s beliefs were different from R’s beliefs (or at least the beliefs that a Bayesian updater would have had in R’s position), and even when S or R had uncertainty about which agent Q was. But I don’t know how to formulate that intuition to something that could be proven true or false. (But ultimately, S has to be a creator of its own successor states, and S should use the same theory to describe its relation to its past selves as to describe its relation to R or Q. S’s decisions should be invariant to the labeling or unlabeling of its past selves as “creators”. These sequential creations are all part of the same computational process.)
Sorry. I wasn’t trying to ask my questions as questions about how R would make decisions. I was asking questions to try to answer your question about the relationship between exceptionless and timeless decision-making, by pointing out dimensions of a map of ways for R to make decisions. For some of those ways, S would be “timeful” around R’s beliefs or time of coding, and for some of those ways S would be less timeful.
I have an intuition that there is a version of reflective consistency which requires R to code S so that, if R was created by another agent Q, S would make decisions using Q’s beliefs even if Q’s beliefs were different from R’s beliefs (or at least the beliefs that a Bayesian updater would have had in R’s position), and even when S or R had uncertainty about which agent Q was. But I don’t know how to formulate that intuition to something that could be proven true or false. (But ultimately, S has to be a creator of its own successor states, and S should use the same theory to describe its relation to its past selves as to describe its relation to R or Q. S’s decisions should be invariant to the labeling or unlabeling of its past selves as “creators”. These sequential creations are all part of the same computational process.)