Hmm, it sort of makes sense, but possible_world_augmented() returns not just a set of worlds, but a set of pairs, (world, probability). For example for the transparent Newcomb’s you get possible_world_augmented() returns {(<1-box, million>, 1), (<2-box, thousand>, 0)}. And that’s enough to calculate EV, and conclude which “decision” (i.e. possible_world_augmented() given decision X) results in maxEV. Come to think of it, if you tabulate this, you end up with what I talked about in that post.
Hmm, it sort of makes sense, but possible_world_augmented() returns not just a set of worlds, but a set of pairs, (world, probability). For example for the transparent Newcomb’s you get possible_world_augmented() returns {(<1-box, million>, 1), (<2-box, thousand>, 0)}. And that’s enough to calculate EV, and conclude which “decision” (i.e. possible_world_augmented() given decision X) results in maxEV. Come to think of it, if you tabulate this, you end up with what I talked about in that post.