Log­i­cal Induction

TagLast edit: 3 Aug 2020 16:04 UTC by abramdemski

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.

An In­tu­itive Guide to Garrabrant Induction

Mark Xu3 Jun 2021 22:21 UTC
122 points
18 comments24 min readLW link

What Would I Do? Self-pre­dic­tion in Sim­ple Algorithms

Scott Garrabrant20 Jul 2020 4:27 UTC
54 points
13 comments5 min readLW link

Mar­kets are Univer­sal for Log­i­cal Induction

johnswentworth22 Aug 2019 6:44 UTC
74 points
2 comments5 min readLW link

Toward a New Tech­ni­cal Ex­pla­na­tion of Tech­ni­cal Explanation

abramdemski16 Feb 2018 0:44 UTC
85 points
36 comments18 min readLW link1 review

Rad­i­cal Probabilism

abramdemski18 Aug 2020 21:14 UTC
162 points
47 comments35 min readLW link1 review

Log­i­cal in­duc­tion for soft­ware engineers

Alex Flint3 Dec 2022 19:55 UTC
130 points
7 comments27 min readLW link

His­tory of the Devel­op­ment of Log­i­cal Induction

Scott Garrabrant29 Aug 2018 3:15 UTC
90 points
4 comments5 min readLW link

Com­put­er­phile dis­cusses MIRI’s “Log­i­cal In­duc­tion” paper

Parth Athley4 Oct 2018 16:00 UTC
43 points
2 comments1 min readLW link

Re­lat­ing HCH and Log­i­cal Induction

abramdemski16 Jun 2020 22:08 UTC
48 points
4 comments5 min readLW link

A mea­sure-the­o­retic gen­er­al­iza­tion of log­i­cal induction

Vanessa Kosoy18 Jan 2017 13:56 UTC
4 points
0 comments7 min readLW link

[Question] Log­i­cal in­duc­tors in mul­ti­stable situ­a­tions.

Donald Hobson3 Jan 2019 23:56 UTC
8 points
4 comments1 min readLW link

The set of Log­i­cal In­duc­tors is not Convex

Scott Garrabrant27 Sep 2016 9:05 UTC
4 points
0 comments1 min readLW link

Log­i­cal In­duc­tors that trust their limits

Scott Garrabrant20 Sep 2016 23:17 UTC
4 points
0 comments1 min readLW link

Log­i­cal un­cer­tainty and Math­e­mat­i­cal uncertainty

AlexMennen26 Jun 2018 1:08 UTC
35 points
6 comments4 min readLW link

Rad­i­cal Prob­a­bil­ism [Tran­script]

26 Jun 2020 22:14 UTC
46 points
12 comments6 min readLW link

Log­i­cal In­duc­tion with in­com­putable sequences

AlexMennen17 Aug 2017 0:39 UTC
4 points
0 comments1 min readLW link

Op­ti­miz­ing ar­bi­trary ex­pres­sions with a lin­ear num­ber of queries to a Log­i­cal In­duc­tion Or­a­cle (Car­toon Guide)

Donald Hobson23 Jul 2020 21:37 UTC
3 points
2 comments2 min readLW link

In Log­i­cal Time, All Games are Iter­ated Games

abramdemski20 Sep 2018 2:01 UTC
87 points
8 comments5 min readLW link

Log­i­cal Uncer­tainty as Probability

gRR29 Apr 2012 22:26 UTC
4 points
22 comments1 min readLW link

Asymp­totic Log­i­cal Uncer­tainty: Con­crete Failure of the Solomonoff Approach

Scott Garrabrant22 Jul 2015 19:27 UTC
13 points
0 comments1 min readLW link

Bounded Or­a­cle Induction

Diffractor28 Nov 2018 8:11 UTC
25 points
0 comments9 min readLW link

Two Ma­jor Ob­sta­cles for Log­i­cal In­duc­tor De­ci­sion Theory

Scott Garrabrant17 Apr 2017 21:10 UTC
21 points
1 comment5 min readLW link

Oc­cam’s Ra­zor and the Univer­sal Prior

Abundant Output3 Oct 2021 3:23 UTC
22 points
5 comments21 min readLW link

Squeez­ing foun­da­tions re­search as­sis­tance out of for­mal logic nar­row AI.

Donald Hobson8 Mar 2023 9:38 UTC
14 points
1 comment2 min readLW link

[Question] What hap­pens with log­i­cal in­duc­tion when...

Donald Hobson26 Mar 2023 18:31 UTC
18 points
2 comments1 min readLW link

Asymp­totic De­ci­sion The­ory (Im­proved Wri­teup)

Diffractor27 Sep 2018 5:17 UTC
38 points
14 comments13 min readLW link

Con­cep­tual Prob­lems with UDT and Policy Selection

abramdemski28 Jun 2019 23:50 UTC
60 points
16 comments9 min readLW link
No comments.