Difference between revisions of "Ambient decision theory"
From Lesswrongwiki
(→Blog posts: Added malicious proof search post) |
m (→Blog posts: reflected the renaming of the last post) |
||
| Line 10: | Line 10: | ||
*[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by cousin_it | *[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by cousin_it | ||
*[http://lesswrong.com/lw/ap3/predictability_of_decisions_and_the_diagonal/ Predictability of Decisions and the Diagonal Method] by Vladimir Nesov | *[http://lesswrong.com/lw/ap3/predictability_of_decisions_and_the_diagonal/ Predictability of Decisions and the Diagonal Method] by Vladimir Nesov | ||
| − | *[http://lesswrong.com/r/discussion/lw/b5t/ | + | *[http://lesswrong.com/r/discussion/lw/b5t/an_example_of_selffulfilling_spurious_proofs_in/ An example of self-fulfilling spurious proofs in UDT] by cousin_it |
==See also== | ==See also== | ||
Revision as of 00:35, 26 March 2012
A variant of updateless decision theory that uses first order logic instead of mathematical intuition module (MIM), emphasizing the way an agent can control which mathematical structure a fixed definition defines, an aspect of UDT separate from its own emphasis on not making the mistake of updating away things one can still acausally control.
Blog posts
- AI cooperation in practice by cousin_it
- What a reduction of "could" could look like by cousin_it
- Controlling Constant Programs by Vladimir Nesov
- Notion of Preference in Ambient Control by Vladimir Nesov
- A model of UDT with a halting oracle by cousin_it
- Predictability of Decisions and the Diagonal Method by Vladimir Nesov
- An example of self-fulfilling spurious proofs in UDT by cousin_it
