LESSWRONG
LW

2071
Infra-Bayesianism

Infra-Bayesianism

Aug 27, 2020 by Diffractor

Infra-Bayesianism is a new approach to epistemology / decision theory / reinforcement learning theory, which builds on "imprecise probability" to solve the problem of prior misspecification / grain-of-truth / nonrealizability which plagues Bayesianism and Bayesian reinforcement learning. 

Infra-Bayesianism also naturally leads to an implementation of UDT, and (more speculatively at this stage) has applications to multi-agent theory, embedded agency and reflection. This sequence lays down the foundations of the approach.

111Introduction To The Infra-Bayesianism Sequence
Ω
Diffractor, Vanessa Kosoy
5y
Ω
62
41Basic Inframeasure Theory
Ω
Diffractor
5y
Ω
20
20Belief Functions And Decision Theory
Ω
Diffractor
5y
Ω
7
22Less Basic Inframeasure Theory
Ω
Diffractor
5y
Ω
1
28Inframeasures and Domain Theory
Ω
Diffractor
4y
Ω
3
30The Many Faces of Infra-Beliefs
Ω
Diffractor
4y
Ω
6
17Infra-Miscellanea
Ω
Diffractor
3y
Ω
0
36Infra-Topology
Ω
Diffractor
3y
Ω
1
62Infra-Exercises, Part 1
Ω
Diffractor, Jack Parker, Connall Garrod
3y
Ω
10
8Proofs Section 1.1 (Initial results to LF-duality)
Ω
Diffractor
5y
Ω
0
8Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Ω
Diffractor
5y
Ω
0
8Proofs Section 2.1 (Theorem 1, Lemmas)
Ω
Diffractor
5y
Ω
0
8Proofs Section 2.2 (Isomorphism to Expectations)
Ω
Diffractor
5y
Ω
0
8Proofs Section 2.3 (Updates, Decision Theory)
Ω
Diffractor
5y
Ω
0
7[Unlisted]LBIT Proofs 1: Propositions 1-9
Ω
Diffractor
5y
Ω
0
7[Unlisted]LBIT Proofs 2: Propositions 10-18
Ω
Diffractor
5y
Ω
0
8[Unlisted]LBIT Proofs 3: Propositions 19-22
Ω
Diffractor
5y
Ω
0
7[Unlisted]LBIT Proofs 4: Propositions 22-28
Ω
Diffractor
5y
Ω
0
8[Unlisted]LBIT Proofs 5: Propositions 29-38
Ω
Diffractor
5y
Ω
0
7[Unlisted]LBIT Proofs 6: Propositions 39-47
Ω
Diffractor
5y
Ω
0
7[Unlisted]LBIT Proofs 7: Propositions 48-52
Ω
Diffractor
5y
Ω
0
7[Unlisted]LBIT Proofs 8: Propositions 53-58
Ω
Diffractor
5y
Ω
0
13Infra-Domain proofs 1
Ω
Diffractor
4y
Ω
0
14Infra-Domain Proofs 2
Ω
Diffractor
4y
Ω
0