2008/8/23 Matt Mahoney <[EMAIL PROTECTED]>: > Valentina Poletti <[EMAIL PROTECTED]> wrote: >> I was wondering why no-one had brought up the information-theoretic aspect >> of this yet. > > It has been studied. For example, Hutter proved that the optimal strategy of > a rational goal seeking agent in an unknown computable environment is AIXI: > to guess that the environment is simulated by the shortest program consistent > with observation so far [1].
By my understanding, I would qualify this as "Hutter proved that the *one of the* optimal strategies of a rational error-free goal seeking agent, which has no impact on the environment beyond its explicit output, in an unknown computable environment is AIXI: to guess that the environment is simulated by the shortest program consistent with observation so far" Will Pearson ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=111637683-c8fa51 Powered by Listbox: http://www.listbox.com