Difference between revisions of "Ambient decision theory"

From Lesswrongwiki
Jump to: navigation, search
m (Blog posts: reflected the renaming of the last post)
(Blog posts: added Slepnev's post on protection from spurious counterfactuals)
 
Line 10: Line 10:
 
*[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/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
 
*[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
  

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