Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!ux1.cso.uiuc.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!aisunk!ywlee
From: ywlee@aisunk.cs.uiuc.edu
Newsgroups: comp.ai
Subject: Re: Simulating thinking is NOT like
Message-ID: <4100006@aisunk>
Date: 28 Feb 90 17:29:37 GMT
References: <6557@cps3xx.UUCP>
Lines: 29
Nf-ID: #R:cps3xx.UUCP:6557:aisunk:4100006:000:913
Nf-From: aisunk.cs.uiuc.edu!ywlee    Feb 27 20:14:00 1990


/* Written  1:34 am  Feb 25, 1990 by news@caen.engin.umich.edu in aisunk:comp.ai */
>To this end, I would like to propose a tentative enumeration of 
>behaviors that are "more intelligent".  
>...
>            + Recognize impossible goals. 



I like most part of your proposal but a couple of point. 
It is not possible an intelligence to recognize a goal is impossible 
or not. After all, it is the same as halting problem. I believe it
is enough an "intelligence" to recognize difficult goals to achieve
within some finite amount of resources. 
So I suggest to modify this to:

	    Recognize difficult goals to be achieved.



>        - Occasionally abandon formal reasoning methods to 
>	  simply explore patterns in the information at its
>	  disposal.  (Dreams? Creativity?)
>

I don't think this part is necessary. Do we get creativity
by abandoning formal reasoning methods? Well, I doubt it. 

ywlee.