Difference between revisions of "Ambient decision theory"

From Lesswrongwiki
Jump to: navigation, search
(A one-sentence summary)
(Blog posts: added Slepnev's post on protection from spurious counterfactuals)
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
{{stub}}
 
{{stub}}
A further development of [[Updateless decision theory]] emphasizing the way an agent can [http://lesswrong.com/lw/2os/controlling_constant_programs/ control which mathematical structure a fixed definition defines], which is an aspect of UDT separate from its own emphasis on not making the mistake of updating away things one can still acausally control.
+
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 [[cousin_it]]
+
*[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 [[cousin_it]]
+
*[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 [[Vladimir Nesov]]
+
*[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/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

See also