27 citations · 34 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 7 cited
A Formal Approach to the Problem of Logical Non-Omniscience
Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch +2
We present the logical induction criterion for computable algorithms that assign probabilities to every logical statement in a given formal language, and refine those probabilities…
cs.AI2015★ 27 cited
Toward Idealized Decision Theory
Nate Soares, Benja Fallenstein
This paper motivates the study of decision theory as necessary for aligning smarter-than-human artificial systems with human interests. We discuss the shortcomings of two standard…