This seems very similar to what I named “UDT2” on the decision theory mailing list.
I never really got why UDT2 wasn’t just a special case of UDT1, in which the set of outputs was restricted to outputs of the form “Turn into program T at time t”. (This was Vladimir Nesov’s immediate response on the mailing list.) I suppose that there should also be a corresponding “UDT2.1″, in which the agent instead chooses among all input-output maps mapping inputs to outputs of the form “Turn into program T at time t”.
I never really got why UDT2 wasn’t just a special case of UDT1, in which the set of outputs was restricted to outputs of the form “Turn into program T at time t”. (This was Vladimir Nesov’s immediate response on the mailing list.) I suppose that there should also be a corresponding “UDT2.1″, in which the agent instead chooses among all input-output maps mapping inputs to outputs of the form “Turn into program T at time t”.