5 ms·
An introduction to logical decision theory for everyone else
- piradoz 4y ago
- spread_love 4y agoIs this a transcript? Why is it in Q&A format?
- chabad360 4y agoJudging by the "imaginary" characters, I believe this is the Socratic method. https://wikipedia.org/wiki/Socratic_method https://wikipedia.org/wiki/Socratic_method
- HWR_14 4y agoThe Socratic method is an interactive form of teaching. A prewritten Q&A may resemble it, but it's not.
- adastra22 4y agoIt's a philosophic dialogue.
- michael1999 4y agoCan someone explain where this diverges from Kant?
- dahaka27 4y agoThere’s something to this school of thought but the logical counter-factual stuff just seems like such a dead end I don’t understand why the better approach isn’t some kind of type-theoretic style answer - just say that a first-order decision algorithm takes in a problem description and returns a choice, and a second-order one takes in a problem and returns a first-order algorithm Then say your decision algorithm is a second-order one that argmaxes over which first-order one performs best on the input problem. There’s no logical counter-possibility issues because you’re not having to imagine “what if my algorithm behaved differently”, the fact that it necessarily returns a particular first-order algorithm doesn’t contradict it being able to evaluate them
- dash2 4y agoThis is quite fun. From a very different starting point, the idea of Team Reasoning is another non-standard way of thinking about rationality, which also starts from the idea of "shared commitments": https://www.tandfonline.com/doi/abs/10.1080/10002003098538748?casa_token=p2izpGC-GvsAAAAA:rZGRXsG5c5FnrRLq822FBR8o18Z4VFnYCb76lIXTVDnRDYxtGRQglPCytCkBzafh6c9vsLtpAdq5 https://www.tandfonline.com/doi/abs/10.1080/1000200309853874... The paper underlying this discussion is here, by the way, and Eliezer Yudkowsky is an author: https://arxiv.org/abs/1401.5577 https://arxiv.org/abs/1401.5577
- johnaspden 4y agoThis is really great, and looks like it might tie into the idea in negotiation theory of 'splitting the pie'.
- drdeca 4y agoHow does this differ from Functional Decision Theory? Or did they just change what they call it?
- vilhelm_s 4y ago> LDT (logical decision theory) seems to be an umbrella decision theory that only requires the use of logical counterfactuals, leaving the iteration type and updatelessness unspecified. So my understanding is that UDT1, UDT1.1, UDT2, FDT, and TDT are all logical decision theories. [https://www.lesswrong.com/posts/QPhY8Nb7gtT5wvoPH/comparison-of-decision-theories-with-a-focus-on-logical https://www.lesswrong.com/posts/QPhY8Nb7gtT5wvoPH/comparison...]
- drdeca 4y agoThanks!
- alexb_ 4y ago>Because of Löb's theorem which is magic. I mean, I could try to explain it, but it would be a distracting detour and you'd need to be at least a little good at math to understand what the heck I was talking about. I should have listened. Now after many online explanations and going deeper into the rabbit hole I'm not ever sure what a number is anymore.
- l33t2328 4y agoThis animated guide does shockingly well at explaining Löb's theorem.
- OscarCunningham 4y agoThe fact that you forgot the link doesn't matter, because as soon as you know that if you had the guide you'd understand Löb's theorem, you understand Löb's theorem.
- tempodox 4y agoAccording to Löb's theorem this is not provable if I don't understand Löb's theorem. I think my head just asploded.
- l33t2328 4y agoOops. Here: https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoon-guide-to-loeb-s-theorem https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoo...
- jonathanstrange 4y agoA solution that predicts one-boxing is good. At least that's what I think. Curiously, everybody but me in my academic community seems to lean towards two-boxing, which is one of the rare cases when I have persistent troubles understanding others' intuitions. I mean, I can understand two-boxing as a recommendation in a one-off case, but for me any general solution to a decision problem needs to be acceptable and successful in arbitrary repeated applications. I recommend reading the introduction for philosophers, by the way.
- igorkraw 4y agoIf I remember the setup correctly, my reasoning is that two boxing is rational,anti-coercive and implementable, while one boxing requires accepting some magical predictor and also opens up the door for a bunch of "arguments" that boil down to magic (violation of causality, or "trust this black box predictor" bro). "Fuck you, I'll not play your game and take 1000" seems like a robust heuristic given a finite time on earth and a lot more charlatans trying to fool you than reliable predictors around
- hoseja 4y agoTo continue the dialogue: Could this be in any way useful to predict Nash/Pareto fuckups before they happen?