# Difference between revisions of "Ambient decision theory"

From Lesswrongwiki

(→Blog posts: Added UDT/ADT with oracle post) |
(→Blog posts: added Slepnev's post on protection from spurious counterfactuals) |
||

(5 intermediate revisions by 2 users not shown) | |||

Line 1: | Line 1: | ||

{{stub}} | {{stub}} | ||

− | A variant of [[ | + | 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== | ||

− | *[http://lesswrong.com/lw/2ip/ai_cooperation_in_practice/ AI cooperation in practice] by [ | + | *[http://lesswrong.com/lw/2ip/ai_cooperation_in_practice/ AI cooperation in practice] by [http://lesswrong.com/user/cousin_it/ cousin_it] |

− | *[http://lesswrong.com/lw/2l2/what_a_reduction_of_could_could_look_like/ What a reduction of "could" could look like] by | + | *[http://lesswrong.com/lw/2l2/what_a_reduction_of_could_could_look_like/ What a reduction of "could" could look like] by cousin_it |

*[http://lesswrong.com/lw/2os/controlling_constant_programs/ Controlling Constant Programs] by [[Vladimir Nesov]] | *[http://lesswrong.com/lw/2os/controlling_constant_programs/ Controlling Constant Programs] by [[Vladimir Nesov]] | ||

− | *[http://lesswrong.com/lw/2tq/notion_of_preference_in_ambient_control/ Notion of Preference in Ambient Control] by | + | *[http://lesswrong.com/lw/2tq/notion_of_preference_in_ambient_control/ Notion of Preference in Ambient Control] by Vladimir Nesov |

− | *[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by [[cousin_it] | + | *[http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/ A model of UDT with a halting oracle] by cousin_it |

+ | *[http://lesswrong.com/lw/ap3/predictability_of_decisions_and_the_diagonal/ Predictability of Decisions and the Diagonal Method] by Vladimir Nesov | ||

+ | *[http://lesswrong.com/lw/b0e/a_model_of_udt_without_proof_limits/ A model of UDT without proof limits] by cousin_it | ||

+ | *[http://lesswrong.com/r/discussion/lw/b5t/an_example_of_selffulfilling_spurious_proofs_in/ An example of self-fulfilling spurious proofs in UDT] by cousin_it | ||

==See also== | ==See also== | ||

+ | *[[Decision theory]] | ||

*[[Newcomb's problem]], [[Prisoner's dilemma]] | *[[Newcomb's problem]], [[Prisoner's dilemma]] | ||

*[[Timeless decision theory]] | *[[Timeless decision theory]] | ||

*[[Updateless decision theory]] | *[[Updateless decision theory]] | ||

+ | |||

+ | [[Category:decision theory]] |

## Latest revision as of 05:38, 30 March 2012

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