the way this is dealt with in Ambient Decision Theory is to ban considering the results of an agents actions as part of the world, and instead requiring that they be reconstructed each time they are called
I wouldn’t say it like that, since the actions must already be part of the world (its properties following from the definition), the agent just can’t figure out what they are, can’t resolve that particular logical uncertainty. See “Against counterfactuals”: everything should be already determined, as variations of the decision problem have nothing to do with the actual decision problem.
I wouldn’t say it like that, since the actions must already be part of the world (its properties following from the definition), the agent just can’t figure out what they are, can’t resolve that particular logical uncertainty. See “Against counterfactuals”: everything should be already determined, as variations of the decision problem have nothing to do with the actual decision problem.