Log­i­cal Induction

TagLast edit: 17 Jul 2020 5:41 UTC by Ben Pace

Logical Induction is the attempt to reason formally when you have uncertainty about logical truths. Modern probability theory makes the assumption that one is logically omniscient, not having uncertain about whether a given number is prime or whether a certain theorem is true. This seems like a hole in our basic understanding of reasoning. In recent years Scott Garrabrant and other researchers have developed the first formal account of how to reason under logical uncertain (the writeup can be found here).

An In­tu­itive Guide to Garrabrant Induction

Mark Xu3 Jun 2021 22:21 UTC
133 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
64 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
85 points
36 comments18 min readLW link1 review

Rad­i­cal Probabilism

abramdemski18 Aug 2020 21:14 UTC
176 points
47 comments35 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

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

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

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

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

AlexMennen17 Aug 2017 0:39 UTC
4 points
0 comments1 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

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

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

abramdemski20 Sep 2018 2:01 UTC
93 points
10 comments5 min readLW link

Bounded Or­a­cle Induction

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

Log­i­cal Uncer­tainty as Probability

gRR29 Apr 2012 22:26 UTC
4 points
22 comments1 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

[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

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

Peter Chatain3 Oct 2021 3:23 UTC
28 points
5 comments21 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

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

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

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

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