On 19 Jan 2014, at 22:17, Russell Standish wrote:

On Sun, Jan 19, 2014 at 01:42:51PM -0500, John Clark wrote:
On Sun, Jan 19, 2014 at 12:41 AM, Russell Standish <li...@hpcoders.com.au >wrote:

Rational agents are entirely predictable.


Rational agents are entirely deterministic but that does NOT mean they're predictable. It would only take you a few minutes to write a program to look for the first even number greater than 2 that is not the sum of two prime numbers and then stop. But will the machine your program is running on ever stop before it runs out of memory X? Nobody knows. There is no shortcut to knowing, there is no way to make a prediction, all you can do
is watch it and see what it does. And when the computer ends up doing
whatever it ends up doing the machine will be just as surprised at its behavior as you are; it didn't know what it was going to do any better than you did. If the computer stopped then afterward it figured it must have chosen to stop, and if the computer didn't stop then it figured it chose to ram the memory wall, but in either case it didn't know what it was going to
do until it did it, and neither did you.

 John K Clark


If a rational agent can compute its utility to determine its next
course of action, then so can any observer with access to the same
environmental information.

Its got nothing to do with the Halting problem.

What if the computation of self-utility does not halt?
How to compute self-utility, or even how to define it?

Bruno




--

----------------------------------------------------------------------------
Prof Russell Standish                  Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics      hpco...@hpcoders.com.au
University of New South Wales          http://www.hpcoders.com.au
----------------------------------------------------------------------------

--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

http://iridia.ulb.ac.be/~marchal/



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to