This seems to be a bigger modification than just “be introspective.” An EDT agent that starts out by searching through different Actions (which in a game theory context might include mixed strategies) and then ouputting the code corresponding to the best Action, upon introspection, might construct a causal graph that includes its Decision. Without further modification, when it sets an Action, this is then excellent knowledge about the Decision node, which is then also evidence about the parents of the Decision node, and we still have ordinary EDT. I’ll revisit this in the morning when I have brain, but it seems like this ratification modification is doing something unusual with the Decision node that involves setting it but not conditioning on it!
Also note that maybe an introspective agent would not conclude that D is the only parent of A, and A the only child of D. There may be noise terms, at the least.
This seems to be a bigger modification than just “be introspective.” An EDT agent that starts out by searching through different Actions (which in a game theory context might include mixed strategies) and then ouputting the code corresponding to the best Action, upon introspection, might construct a causal graph that includes its Decision. Without further modification, when it sets an Action, this is then excellent knowledge about the Decision node, which is then also evidence about the parents of the Decision node, and we still have ordinary EDT. I’ll revisit this in the morning when I have brain, but it seems like this ratification modification is doing something unusual with the Decision node that involves setting it but not conditioning on it!
Also note that maybe an introspective agent would not conclude that D is the only parent of A, and A the only child of D. There may be noise terms, at the least.