CDT and EDT have known problems on 5 and 10. TDT/UDT are insufficiently formalized, and seem like they might rely on known-to-be-unfomalizable logical counterfactuals.
So 5 and 10 isn’t trivial even without spurious counterfactuals.
What does this add over modal UDT?
No requirement to do infinite proof search
More elegant handling of multi-step decision problems
Also works on problems where the agent doesn’t know its source code (of course, this prevents logical dependencies due to source code from being taken into account)
Philosophically, it works as a nice derivation of similar conclusions to modal UDT. The modal UDT algorithm doesn’t by itself seem entirely
well-motivated; why would material implication be what to search for? On the other hand, every step in the linear logic derivation is quite natural, building action into the logic, and encoding facts about what the agent can be assured of upon taking different actions. This makes it easier to think clearly about what the solution says about counterfactuals, e.g. in a section of this post.
CDT and EDT have known problems on 5 and 10. TDT/UDT are insufficiently formalized, and seem like they might rely on known-to-be-unfomalizable logical counterfactuals.
So 5 and 10 isn’t trivial even without spurious counterfactuals.
What does this add over modal UDT?
No requirement to do infinite proof search
More elegant handling of multi-step decision problems
Also works on problems where the agent doesn’t know its source code (of course, this prevents logical dependencies due to source code from being taken into account)
Philosophically, it works as a nice derivation of similar conclusions to modal UDT. The modal UDT algorithm doesn’t by itself seem entirely well-motivated; why would material implication be what to search for? On the other hand, every step in the linear logic derivation is quite natural, building action into the logic, and encoding facts about what the agent can be assured of upon taking different actions. This makes it easier to think clearly about what the solution says about counterfactuals, e.g. in a section of this post.