Ambient decision theory

From Lesswrongwiki
Revision as of 02:10, 12 March 2012 by Vladimir Nesov (talk | contribs) (Blog posts: Added the last post on the Diagonal Step)
Jump to: navigation, search

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

See also