“UDT” is ambiguous and has been used to refer to a number of different approaches; “FDT” is a new name for the central cluster of UDT-ish theories (excluding some similar theories like TDT), intended to be less ambiguous and easier to explain (especially to working decision theorists).
In part it’s easier to explain because it’s formulated in a more CDT-like fashion (whereas Wei Dai’s formulations are more EDT-like), and in part it’s easier to explain because it builds in less content: accepting FDT doesn’t necessarily require a commitment to some of the philosophical ideas associated with updatelessness and logical prior probability that MIRI, Wei Dai, or other FDT proponents happen to accept. In particular, some of Nate’s claims in the linked post are stronger than is strictly required for FDT.
“UDT” is ambiguous and has been used to refer to a number of different approaches; “FDT” is a new name for the central cluster of UDT-ish theories (excluding some similar theories like TDT), intended to be less ambiguous and easier to explain (especially to working decision theorists).
In part it’s easier to explain because it’s formulated in a more CDT-like fashion (whereas Wei Dai’s formulations are more EDT-like), and in part it’s easier to explain because it builds in less content: accepting FDT doesn’t necessarily require a commitment to some of the philosophical ideas associated with updatelessness and logical prior probability that MIRI, Wei Dai, or other FDT proponents happen to accept. In particular, some of Nate’s claims in the linked post are stronger than is strictly required for FDT.
Thanks! So UDT is integrated. That’s good to hear.