# Ambient decision theory

From Lesswrongwiki

Revision as of 23:05, 25 March 2012 by Vladimir Nesov (talk | contribs) (→Blog posts: Added malicious proof search post)

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
- A model of UDT with a malicious proof searcher by cousin_it