# 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 03: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