[Kevin's formal argument for induction]
The problem is that you have described a hypothesis about the machine
that *has genenerated* the symbols. To say something about scientific
induction, you need to have a hypothesis about the symbol that will be
generated at the next time step.
To condition (in a non-vacuous way) on what you have previously seen,
you need the assumption that the machine that generates the symbol at
the next time step is related to the one you have been observing - and
this is where the circularity comes in.
--
Ron Parr email: [EMAIL PROTECTED]
--------------------------------------------------------------------------
Home Page: http://robotics.stanford.edu/~parr
