RSS

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
145 points
20 comments24 min readLW link

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

Scott Garrabrant20 Jul 2020 4:27 UTC
65 points
12 comments5 min readLW link

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

Alex Flint3 Dec 2022 19:55 UTC
160 points
8 comments27 min readLW link1 review

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

johnswentworth22 Aug 2019 6:44 UTC
75 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
86 points
36 comments18 min readLW link1 review

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

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

Rad­i­cal Probabilism

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

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
(www.youtube.com)

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

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

abramdemski16 Jun 2020 22:08 UTC
50 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
6 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
5 points
4 comments1 min readLW link

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

Scott Garrabrant20 Sep 2016 23:17 UTC
5 points
2 comments1 min readLW link

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

26 Jun 2020 22:14 UTC
48 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
4 points
2 comments2 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

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

abramdemski20 Sep 2018 2:01 UTC
94 points
10 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
35 points
5 comments5 min readLW link

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

Peter Chatain3 Oct 2021 3:23 UTC
28 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
16 points
1 comment2 min readLW link

A de­sign con­cept for su­per­in­tel­li­gent ma­chines (and Pop­per’s cri­tique of in­duc­tion)

tiplur-bilrex12 Dec 2023 18:31 UTC
−7 points
6 comments1 min readLW link
(tiplur-bilrex.tlon.network)

the un­der­es­ti­ma­tion of cir­cu­lar thinking

AxiomWriter30 Mar 2024 9:45 UTC
1 point
0 comments2 min readLW link

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

abramdemski28 Jun 2019 23:50 UTC
64 points
16 comments9 min readLW link

Neu­roevolu­tion, So­cial In­tel­li­gence, and Logic

vinnik.dmitry0731 May 2023 17:54 UTC
1 point
0 comments10 min readLW link

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

Diffractor27 Sep 2018 5:17 UTC
39 points
14 comments13 min readLW link
No comments.