= 27d567bc2d48d9f40e9ccc20ea370b15)
RichardKennaway comments on Suggestions for naming a class of decision theories - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (56)
Snap!
Most of the others just say "better" instead of saying what the desired sort of theory actually does.
Then what do we call decision theories capable of proving statements about self-modification?
You could include them in reflexive decision theories. When formalised, I suspect there may not be much of a distinction between theories that can know about themselves and theories that can modify themselves.
As a mathematician, I prefer using different notations for things until I've proved they're identical. And in this case, I rather suspect they're not.
Actually, it's precisely for this reason that "reflexive" doesn't work for what I originally wanted: I wanted to use a word to denote TDT, UDT, ADT, etc, not in terms of how they work but in terms of satisfying the five conditions, the most important of which is that they out-perform CDT. How a decision theory works is a secondary consideration to how well it works.