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.”
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.