Supernice! A step for translating utility functions from one universe to another. If we only had a unique coherent probability distribution for UTMs and those f and g—the bijective mappings between universes—the translation would be even more unique.
I did not understand those earlier intelligence metric posts of yours. This one was clear and delightful. Maybe you introduced the heavy notation slower, or maybe I just found this subject more interesting.
I don’t think there is a canonical version of the Solomonoff measure. When an agent maximizes expected utility with respect to a Solomonoff measure, the precise choice of Solomonoff measure is as arbitrary (agent-dependent) as the choice of utility function.
Supernice! A step for translating utility functions from one universe to another. If we only had a unique coherent probability distribution for UTMs and those f and g—the bijective mappings between universes—the translation would be even more unique.
I did not understand those earlier intelligence metric posts of yours. This one was clear and delightful. Maybe you introduced the heavy notation slower, or maybe I just found this subject more interesting.
Thank you Antti, I’m glad you liked it!
I don’t think there is a canonical version of the Solomonoff measure. When an agent maximizes expected utility with respect to a Solomonoff measure, the precise choice of Solomonoff measure is as arbitrary (agent-dependent) as the choice of utility function.