AI ALIGNMENT FORUMTags
AF

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
2Abram Demski

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