Kawoomba comments on Universal agents and utility functions - Less Wrong

29 Post author: Anja 14 November 2012 04:05AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (38)

You are viewing a single comment's thread.

Comment author: Kawoomba 14 November 2012 08:44:53AM 3 points [-]

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?

Comment author: Anja 15 November 2012 01:12:08AM 3 points [-]

I am quite sure that pareto optimality is untouched by the proposed changes, but I haven't written down a proof yet.