enumerates the worlds seen as possible by every agent, no matter what their decision theory is
Can you clarify this?
One interpretation is that you’re talking about an agent who enumerates every world that any agent sees as possible. But your post further down seems to contradict this, “the unpunched world is not a possible one for the world enumerator”. And it’s not obvious to me that this agent can exist.
Another is that the agent enumerates only the worlds that every agent sees as possible, but that agent doesn’t seem likely to get good results. And it’s not obvious to me that there are guaranteed to be any worlds at all in this intersection.
Can you clarify this?
One interpretation is that you’re talking about an agent who enumerates every world that any agent sees as possible. But your post further down seems to contradict this, “the unpunched world is not a possible one for the world enumerator”. And it’s not obvious to me that this agent can exist.
Another is that the agent enumerates only the worlds that every agent sees as possible, but that agent doesn’t seem likely to get good results. And it’s not obvious to me that there are guaranteed to be any worlds at all in this intersection.
Am I missing an interpretation?