AI ALIGNMENT FORUMTags
AF

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
2Abram Demski
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
9
59An Intuitive Guide to Garrabrant Induction
Mark Xu
2y
7
6
59Radical Probabilism
Abram Demski
3y
32
5
22Toward a New Technical Explanation of Technical Explanation
Abram Demski
5y
2
5
31Markets are Universal for Logical Induction
johnswentworth
4y
0
3
35Logical induction for software engineers
Alex Flint
6mo
7
3
26History of the Development of Logical Induction
Scott Garrabrant
5y
2
3
24Relating HCH and Logical Induction
Abram Demski
3y
3
3
17Radical Probabilism [Transcript]
Abram Demski, Ben Pace
3y
5
3
3Logical Inductors that trust their limits
Scott Garrabrant
7y
0
3
3The set of Logical Inductors is not Convex
Scott Garrabrant
7y
0
3
2A measure-theoretic generalization of logical induction
Vanessa Kosoy
6y
0
2
3Logical Induction with incomputable sequences
Alex Mennen
6y
0
2
2Optimizing arbitrary expressions with a linear number of queries to a Logical Induction Oracle (Cartoon Guide)
Donald Hobson
3y
0
1
26In Logical Time, All Games are Iterated Games
Abram Demski
5y
7
2
14Bounded Oracle Induction
Diffractor
5y
0
Load More (15/21)
Add Posts