The actual world is not epistemically accessible to the agent. It’s a useless concept for its decision-making algorithm. An ontology (logic of actions and observations) that describes possible worlds and in which you can interpret observations, is useful, but not the actual world.
An ontology is not a “logic of actions and observations” as I am using the term. I am using it in the sense described in the Stanford Encyclopedia of Philosophy.
At any rate, what I’m calling the ontology is not part of the decision theory. I consider different ontologies that the agent might think in terms of, but I am explicit that I am not trying to change how the UDT itself works when I write, “I suggest an alternative conception of a UDT agent, without changing the UDT formalism.”
The actual world is not epistemically accessible to the agent. It’s a useless concept for its decision-making algorithm. An ontology (logic of actions and observations) that describes possible worlds and in which you can interpret observations, is useful, but not the actual world.
An ontology is not a “logic of actions and observations” as I am using the term. I am using it in the sense described in the Stanford Encyclopedia of Philosophy.
At any rate, what I’m calling the ontology is not part of the decision theory. I consider different ontologies that the agent might think in terms of, but I am explicit that I am not trying to change how the UDT itself works when I write, “I suggest an alternative conception of a UDT agent, without changing the UDT formalism.”
I give up.