Logical Uncertainty

https://arbital.com/p/logical_uncertainty

by Alex Appel Apr 10 2017 updated Apr 11 2017

The study of resource-bounded inference.


Logical Uncertainty is the MIRI-originated field of math covering how to probabilistically reason under resource constraints. The two main approaches in the field, at the current moment, are:

Logical Induction (incomplete) (a wildly impractical algorithm that achieves a very wide range of desiderata)

Optimal Poly-Time Estimators (I'll learn more about this later and summarize it)