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)