Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!purdue!lerc.nasa.gov!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!newsfeed.internetmci.com!news.mathworks.com!tank.news.pipex.net!pipex!uknet!newsfeed.ed.ac.uk!dcs.ed.ac.uk!newshost.dcs.ed.ac.uk!mxm
From: Mike Moran <mxm@dcs.ed.ac.uk>
Subject: Re: Complexity of humans and computers
X-Nntp-Posting-Host: fuday.dcs.ed.ac.uk
Message-ID: <MXM.95Aug29221816@dcs.ed.ac.uk>
Sender: cnews@dcs.ed.ac.uk (UseNet News Admin)
Organization: Department of Computer Science, Edinburgh University
References: <ncohen-1708951948040001@net-1-116.eden.com>
Date: Tue, 29 Aug 1995 21:18:16 GMT
Lines: 44



Neil Cohen writes:
In article <ncohen-1708951948040001@net-1-116.eden.com> ncohen@eden.com (Neil Cohen) writes:
ncohen> In article <769039696wnr@sonning.demon.co.uk> wrote:
ncohen> MICHAEL FORREST  <Mlnf1@sonning.demon.co.uk> wrote:
[ MICHAEL FORREST article quote removed ]
[ more deletia ]
ncohen> been solved by human beings.  (BTW, when I say that the computer is
ncohen> limited to yes/no logic, I mean that it is based on a group of electrical
ncohen> cells, each of which either has a charge, or has no charge;  efforts
ncohen> are being made to construct computers which can work based on the degree
ncohen> of charge in a cell, i.e. they would use what is being called "Fuzzy
ncohen> Logic";  I haven't heard of any successes yet).

	Just a minor point here: my understanding of 'Fuzzy Logic' is that
	it has nothing to do with the actual charge of any cells or 
	other low-level entity, but rather relates to the use of 
	various forms of multi-valued logics, where (in all examples I
	have seen) the truth-value of a statement is a real-valued
	number in some range. The different variants seem to result
	through the use of different logical rules with which the
	truth-values are manipulated (eg: AND(t1,t2) = minimum of t1, t2). 

	Unless my understanding is incorrect (which is most certainly
	possible) even a machine using fuzzy logic as I describe above
	would still be limited by its underlying representation, that
	is if we assume the computability arguments you outline in
	your article (which I would be happy to do).

						Thanks,

							Mike



	
	
--

 MI   CH AE   LM "I don't the meaning of the word surrender! Well, ->   ,__o
 O R A N F O U R      I do, I'm not dumb,.. just not in this     -->  _-\_<,
 T  H  Y E  A  R              context" - The Tick	       ---> (*)'(*)
 A     I C     S Home: http://www.dcs.ed.ac.uk/home/mxm/ !eat emacs biscuits!
