How do your proposed changes to the utility function affect e.g. the proof of AIXI’s pareto optimality (allured to in pp. 30 in the paper) and other provable properties of AIXI?
I am quite sure that pareto optimality is untouched by the proposed changes, but I haven’t written down a proof yet.
How do your proposed changes to the utility function affect e.g. the proof of AIXI’s pareto optimality (allured to in pp. 30 in the paper) and other provable properties of AIXI?
I am quite sure that pareto optimality is untouched by the proposed changes, but I haven’t written down a proof yet.