LESSWRONGTags
LW

Logical Induction

EditHistorySubscribe
Discussion (0)
Help improve this page (2 flags)
EditHistorySubscribe
Discussion (0)
Help improve this page (2 flags)
Logical Induction
Random Tag
Contributors
2Ben Pace
2Yoav Ravid
2abramdemski

Logical Induction is a formal theory of reasoning under logical uncertainty, developed by Scott Garrabrant and other researchers. Rationality is defined through a prediction-market analogy. High-quality beliefs are those which are computationally difficult to win bets against. The writeup can be found here.

Posts tagged Logical Induction
Most Relevant
19
122An Intuitive Guide to Garrabrant InductionΩ
Mark Xu
2y
Ω
18
13
54What Would I Do? Self-prediction in Simple Algorithms
Scott Garrabrant
3y
13
11
162Radical ProbabilismΩ
abramdemski
3y
Ω
47
11
85Toward a New Technical Explanation of Technical ExplanationΩ
abramdemski
5y
Ω
36
11
74Markets are Universal for Logical InductionΩ
johnswentworth
4y
Ω
2
9
130Logical induction for software engineersΩ
Alex Flint
4mo
Ω
7
6
90History of the Development of Logical InductionΩ
Scott Garrabrant
5y
Ω
4
5
43Computerphile discusses MIRI's "Logical Induction" paper
Parth Athley
4y
2
4
48Relating HCH and Logical InductionΩ
abramdemski
3y
Ω
4
4
46Radical Probabilism [Transcript]Ω
abramdemski, Ben Pace
3y
Ω
12
4
35Logical uncertainty and Mathematical uncertainty
AlexMennen
5y
6
4
8Logical inductors in multistable situations.Q
Donald Hobson
4y
Q
4
4
4A measure-theoretic generalization of logical inductionΩ
Vanessa Kosoy
6y
Ω
0
4
4Logical Inductors that trust their limitsΩ
Scott Garrabrant
7y
Ω
0
4
4The set of Logical Inductors is not ConvexΩ
Scott Garrabrant
6y
Ω
0
Load More (15/26)
Add Posts