Re: AIXItl; Wolfram's hypothesis (was Re: [agi] How valuable is Solmononoff Induction for real world AGI?)

2007-11-10 Thread Lukasz Stafiniak
On Nov 10, 2007 4:47 PM, Tim Freeman <[EMAIL PROTECTED]> wrote:
> From: "Lukasz Stafiniak" <[EMAIL PROTECTED]>
> >The programs are generally required to exactly match in AIXI (but not
> >in AIXItl I think).
>
> I'm pretty sure AIXItl wants an exact match too.  There isn't anything
> there that lets the theoretical AI guess probability distributions and
> then get scored based on how probable the actual world is according to
> that distribution -- each hypothesis is either right or wrong, and
> wrong hypotheses are discarded.
>
I agree that I misinterpreted the meaning of "exact match".
AIXItl uses strategies whose outputs do not need to agree with history.

-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=8660244&id_secret=63846012-5d1170


AIXItl; Wolfram's hypothesis (was Re: [agi] How valuable is Solmononoff Induction for real world AGI?)

2007-11-10 Thread Tim Freeman
From: "Lukasz Stafiniak" <[EMAIL PROTECTED]>
>The programs are generally required to exactly match in AIXI (but not
>in AIXItl I think).

I'm pretty sure AIXItl wants an exact match too.  There isn't anything
there that lets the theoretical AI guess probability distributions and
then get scored based on how probable the actual world is according to
that distribution -- each hypothesis is either right or wrong, and
wrong hypotheses are discarded.

The reference I use for AIXItl is:

http://www.hutter1.net/ai/aixigentle.htm

On Nov 9, 2007 5:26 AM, Edward W. Porter <[EMAIL PROTECTED]> wrote:
> are these short codes sort of like Wolfram little codelettes,
> that can hopefully represent complex patterns out of very little code, or do
> they pretty much represent subsets of visual patterns as small bit maps.

From: "Lukasz Stafiniak" <[EMAIL PROTECTED]>
>It depends on reality, whether the reality supports Wolfram's hypothesis.

I'm guessing you mean the "Priniciple of Computational Equivalence",
as defined at:

   http://mathworld.wolfram.com/PrincipleofComputationalEquivalence.html

He's saying that 'systems found in the natural world can perform
computations up to a maximal ("universal") level of computational
power'.  All the AIXI family needs to be near-optimal is for the
probability distribution of possible outcomes to be computable.  I
couldn't quickly tell whether Wolfram is saying that the actual
outcomes are computable, or just the probabilities of the outcomes.

-- 
Tim Freeman   http://www.fungible.com   [EMAIL PROTECTED]

-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=8660244&id_secret=63844010-625f39