Difference between revisions of "Ambient decision theory"
From Lesswrongwiki
(A one-sentence summary) |
m (clarified relation to UDT (no MIM)) |
||
Line 1: | Line 1: | ||
{{stub}} | {{stub}} | ||
− | A | + | A variant of [[Updateless decision theory]] that uses first order logic instead of mathematical intuition module (MIM), emphasizing the way an agent can [http://lesswrong.com/lw/2os/controlling_constant_programs/ 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== | ==Blog posts== |
Revision as of 04:04, 22 September 2011
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