If you use the definition given in this paper, then that definition of A is not UDT, simply because it is not guaranteed to “[find] a function mapping sense data to actions that will maximize the utility of outcomes weighted by the probability that the outcome will be caused by the procedure returning that mapping.”
It is implicit in the definition that the agent must be able to choose from a set of counter-factual action-selection-functions {f: S → A}, because it is in this choice the optimisation happens.
P can only be a valid proof that a is the best action exactly when a is the only option, because all other actions where excluded, by the use of non-counter-factual logic.
I know that counter-factual calculations are problematic. But if you take the counter-factual-nes out of UDP, then there are literally nothing left to the definition. Without the counter-factual-nes, everything goes. Any choice is the optimal one, because it was the only one, because that was the choice that actually happened.
What is your definition of UDT?
If you use the definition given in this paper, then that definition of A is not UDT, simply because it is not guaranteed to “[find] a function mapping sense data to actions that will maximize the utility of outcomes weighted by the probability that the outcome will be caused by the procedure returning that mapping.”
It is implicit in the definition that the agent must be able to choose from a set of counter-factual action-selection-functions {f: S → A}, because it is in this choice the optimisation happens.
P can only be a valid proof that a is the best action exactly when a is the only option, because all other actions where excluded, by the use of non-counter-factual logic.
I know that counter-factual calculations are problematic. But if you take the counter-factual-nes out of UDP, then there are literally nothing left to the definition. Without the counter-factual-nes, everything goes. Any choice is the optimal one, because it was the only one, because that was the choice that actually happened.