Difference between revisions of "Ambient decision theory"
From Lesswrongwiki
m (clarified relation to UDT (no MIM)) |
(→Blog posts: Added UDT/ADT with oracle post) |
||
| Line 8: | Line 8: | ||
*[http://lesswrong.com/lw/2os/controlling_constant_programs/ Controlling Constant Programs] by [[Vladimir Nesov]] | *[http://lesswrong.com/lw/2os/controlling_constant_programs/ Controlling Constant Programs] by [[Vladimir Nesov]] | ||
*[http://lesswrong.com/lw/2tq/notion_of_preference_in_ambient_control/ Notion of Preference in Ambient Control] by [[Vladimir Nesov]] | *[http://lesswrong.com/lw/2tq/notion_of_preference_in_ambient_control/ Notion of Preference in Ambient Control] by [[Vladimir Nesov]] | ||
| + | *[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by [[cousin_it]] | ||
==See also== | ==See also== | ||
Revision as of 02:28, 25 January 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
