/explore
|
You are here 
|
sideways-view.com | ||
| | | | |
www.greaterwrong.com
|
|
| | | | | Updateless decision theory (UDT)/functional decision theory (FDT) can be formulated with "logical conditional probability" as opposed to "logi-causalist counterfactuals". I argue in favour of the former, on the grounds that this variant of UDT/FDT ensures robust mutual cooperation in the Twin Prisoner's Dilemma between two realistic UDT/FDT agents, whereas the causalist variant does not. This falls out of thinking about how agents approximate decision theories and how they intervene on the outputs of different, yet similar, decision algorithms. | |
| | | | |
www.greaterwrong.com
|
|
| | | | | [Epistemic status: I may have gotten some things wrong so please point out any errors. I also papered over a lot of technical details in favor of presenting my intuitions. A lot of this is me thinking out loud. If you already know a lot about decision theory or want the gory details, I've listed a bunch of resources on decision theory at the bottom of this post.] Rationality is sometimes considered to be "maximizing expected utility". This seems pretty unambiguous but it turns out that what this means is pretty tricky to define, and different decision theories have different definitions of it. In this post, I will summarize causal decision theory, evidential decision theory, and updateless/functional/logical decision theory. | |
| | | | |
www.greaterwrong.com
|
|
| | | | | In this post, I clarify how far we are from a complete solution to decision theory, and the way in which high-level philosophy relates to the mathematical formalism. I've personally been confused about this in the past, and I think it could be useful to people who casually follows the field. I also link to some less well-publicized approaches. The first disagreement you might encounter when reading about alignment-related decision theory is the disagreement between Causal Decision Theory (CDT), Evidential Decision Theory (EDT), and different logical decision theories emerging from MIRI and lesswrong, such as Functional Decision Theory (FDT) and Updateless Decision Theory (UDT). This is characterized by disagreements on how to act in problems such as Newcomb'... | |
| | | | |
www.augmentedmind.de
|
|
| | | Learn how Phoronix Test Suite (PTS) works, which is a benchmark orchestrator that simplifies building test suites and mass result collection. | ||
