RSS

Log­i­cal Induction

Log­i­cal In­duc­tion is a for­mal the­ory of rea­son­ing un­der log­i­cal un­cer­tainty, de­vel­oped by Scott Garrabrant and other re­searchers. Ra­tion­al­ity is defined through a pre­dic­tion-mar­ket anal­ogy. High-qual­ity be­liefs are those which are com­pu­ta­tion­ally difficult to win bets against. The writeup can be found here.

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

Scott Garrabrant
20 Jul 2020 4:27 UTC
52 points
13 comments5 min readLW link

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

johnswentworth
22 Aug 2019 6:44 UTC
67 points
0 comments4 min readLW link

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

abramdemski
16 Feb 2018 0:44 UTC
140 points
36 comments18 min readLW link2 nominations1 review

An Un­trol­lable Math­e­mat­i­cian Illustrated

abramdemski
20 Mar 2018 0:00 UTC
273 points
38 comments1 min readLW link2 nominations1 review

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

Scott Garrabrant
29 Aug 2018 3:15 UTC
94 points
4 comments5 min readLW link

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

abramdemski
16 Jun 2020 22:08 UTC
49 points
4 comments5 min readLW link

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

Parth Athley
4 Oct 2018 16:00 UTC
43 points
2 comments1 min readLW link
(www.youtube.com)

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

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

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

AlexMennen
17 Aug 2017 0:39 UTC
3 points
0 comments1 min readLW link

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

Donald Hobson
3 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 Garrabrant
27 Sep 2016 9:05 UTC
3 points
0 comments1 min readLW link

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

Scott Garrabrant
20 Sep 2016 23:17 UTC
3 points
0 comments1 min readLW link

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

AlexMennen
26 Jun 2018 1:08 UTC
40 points
6 comments4 min readLW link

Log­i­cal Uncer­tainty and Func­tional De­ci­sion Theory

swordsintoploughshares
10 Jul 2018 23:08 UTC
15 points
4 comments2 min readLW link

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

26 Jun 2020 22:14 UTC
45 points
11 comments6 min readLW link

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

abramdemski
20 Sep 2018 2:01 UTC
84 points
8 comments5 min readLW link

Ques­tions of Rea­son­ing un­der Log­i­cal Uncertainty

So8res
9 Jan 2015 17:37 UTC
20 points
19 comments2 min readLW link

Log­i­cal Uncer­tainty as Probability

gRR
29 Apr 2012 22:26 UTC
3 points
22 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 Hobson
23 Jul 2020 21:37 UTC
3 points
2 comments2 min readLW link

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

Scott Garrabrant
22 Jul 2015 19:27 UTC
11 points
0 comments1 min readLW link

Bounded Or­a­cle Induction

Diffractor
28 Nov 2018 8:11 UTC
30 points
0 comments9 min readLW link