LESSWRONGTags
LW

Ambient Decision Theory

EditHistory
Discussion (0)
Help improve this page (1 flag)
EditHistory
Discussion (0)
Help improve this page (1 flag)
Ambient Decision Theory
Blog posts
See also
Random Tag
Contributors
2Vladimir_Nesov
2Grognor

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 without proof limits by cousin_it
  • An example of self-fulfilling spurious proofs in UDT by cousin_it

See also

  • Decision theory
  • Newcomb's problem, Prisoner's dilemma
  • Timeless decision theory
  • Updateless decision theory