Re: [agi] AIXI and Solomonoff induction

2003-02-21 Thread Philip Sutton
Ed, From my adventures in physics, I came to the conclusion that my understanding of the physical world had more to do with 1. My ability to create and use tools for modeling, i.e. from the physical tools of an advanced computer system to my internal abstraction tools like a new theorem of

Re: [agi] AIXI and Solomonoff induction

2003-02-20 Thread Ed Heflin
In fact Physics are not random. But let's go a little further, and here's what I want to say. Physics are deterministic. Deterministic means that given a system in one state, the following state can be inferred by applying physics rules. It also works backwards: a given state has only one

Re: [agi] AIXI and Solomonoff induction

2003-02-15 Thread Shane Legg
The other text book that I know is by Cristian S. Calude, the Prof. of complexity theory that I studied under here in New Zealand. A new version of this book just recently came out. Going by the last version, the book will be somewhat more terse than the Li and Vitanyi book and thus more

Re: [agi] AIXI and Solomonoff induction

2003-02-15 Thread Shane Legg
Hi Cliff, Sorry about the delay... I've been out sailing watching the America's Cup racing --- just a pity my team keeps losing to the damn Swiss! :( Anyway: Cliff Stabbert wrote: SL This seems to be problematic to me. For example, a random string SL generated by coin flips is not

Re: [agi] AIXI and Solomonoff induction

2003-02-12 Thread Shane Legg
Hi Cliff, So Solomonoff induction, whatever that precisely is, depends on a somehow compressible universe. Do the AIXI theorems *prove* something along those lines about our universe, AIXI and related work does not prove that our universe is compressible. Nor do they need to. The sun seems

Re: [agi] AIXI and Solomonoff induction

2003-02-12 Thread Shane Legg
Cliff Stabbert wrote: [On a side note, I'm curious whether and if so, how, lossy compression might relate. It would seem that in a number of cases a simpler algorithm than expresses exactly the behaviour could be valuable in that it expresses 95% of the behaviour of the environment being

Re: [agi] AIXI and Solomonoff induction

2003-02-11 Thread Cliff Stabbert
Tuesday, February 11, 2003, 9:44:31 PM, Shane Legg wrote: SL However even within this scenario the concept of fixed goal is SL something that we need to be careful about. The only real goal SL of the AIXI system is to get as much reward as possible from its SL environment. A goal is just our

Re: [agi] AIXI and Solomonoff induction

2003-02-11 Thread Shane Legg
Hi Cliff, I'm not good at math -- I can't follow the AIXI materials and I don't know what Solomonoff induction is. So it's unclear to me how a certain goal is mathematically defined in this uncertain, fuzzy universe. In AIXI you don't really define a goal as such. Rather you have an agent