The formalism I introduced in http://lesswrong.com/lw/h4x/intelligence_metrics_and_decision_theories/ studies intelligence w/o explicit division of epistemic hypotheses into “universe” and “bridge”. This is achieved by starting with a certain “innate model” of reality which already contains bridging rules. All epistemic hypothesis are “mapped” onto the innate model in some sense.
The formalism I introduced in http://lesswrong.com/lw/h4x/intelligence_metrics_and_decision_theories/ studies intelligence w/o explicit division of epistemic hypotheses into “universe” and “bridge”. This is achieved by starting with a certain “innate model” of reality which already contains bridging rules. All epistemic hypothesis are “mapped” onto the innate model in some sense.