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
15
115An Intuitive Guide to Garrabrant InductionΩ
Mark Xu
1y
Ω
18
13
54What Would I Do? Self-prediction in Simple Algorithms
Scott Garrabrant
2y
13
11
154Radical ProbabilismΩ
abramdemski
2y
Ω
47
11
82Toward a New Technical Explanation of Technical ExplanationΩ
abramdemski
4y
Ω
36
11
72Markets are Universal for Logical InductionΩ
johnswentworth
3y
Ω
0
6
89History of the Development of Logical InductionΩ
Scott Garrabrant
4y
Ω
4
5
43Computerphile discusses MIRI's "Logical Induction" paper
Parth Athley
4y
2
4
47Relating HCH and Logical InductionΩ
abramdemski
2y
Ω
4
4
46Radical Probabilism [Transcript]Ω
abramdemski, Ben Pace
2y
Ω
12
4
35Logical uncertainty and Mathematical uncertainty
AlexMennen
4y
6
4
8Logical inductors in multistable situations.Q
Donald Hobson
3y
Q
4
4
4Logical Inductors that trust their limitsΩ
Scott Garrabrant
6y
Ω
0
4
4The set of Logical Inductors is not ConvexΩ
Scott Garrabrant
6y
Ω
0
4
4A measure-theoretic generalization of logical inductionΩ
Vanessa Kosoy
5y
Ω
0
4
4Logical Induction with incomputable sequencesΩ
AlexMennen
5y
Ω
0
Load More (15/23)
Add Posts