The questions in the post seem to be sub-problems of the question of: how do you build a computable approximation to Solomonoff induction. The literature on that is the literature that deals with compression.
The questions in the post seem to be sub-problems of the question of: how do you build a computable approximation to Solomonoff induction. The literature on that is the literature that deals with compression.