LESSWRONGTags
LW

Logical Induction

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

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
19
122An Intuitive Guide to Garrabrant InductionΩ
Mark Xu
2y
Ω
18
13
54What Would I Do? Self-prediction in Simple Algorithms
Scott Garrabrant
3y
12
11
163Radical 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
135Logical induction for software engineersΩ
Alex Flint
6mo
Ω
7
6
91History of the Development of Logical InductionΩ
Scott Garrabrant
5y
Ω
4
5
43Computerphile discusses MIRI's "Logical Induction" paper
Parth Athley
5y
2
4
49Relating 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
4Logical Inductors that trust their limitsΩ
Scott Garrabrant
7y
Ω
2
4
4A measure-theoretic generalization of logical inductionΩ
Vanessa Kosoy
6y
Ω
0
4
4The set of Logical Inductors is not ConvexΩ
Scott Garrabrant
7y
Ω
4
Load More (15/28)
Add Posts