From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!sun-barr!ames!elroy.jpl.nasa.gov!sdd.hp.com!wupost!uunet!mcsun!uknet!edcastle!aiai!jeff Wed Feb 26 12:54:07 EST 1992
Article 3973 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!sun-barr!ames!elroy.jpl.nasa.gov!sdd.hp.com!wupost!uunet!mcsun!uknet!edcastle!aiai!jeff
>From: jeff@aiai.ed.ac.uk (Jeff Dalton)
Newsgroups: comp.ai.philosophy
Subject: Re: Strong AI and panpsychism
Message-ID: <6252@skye.ed.ac.uk>
Date: 24 Feb 92 18:46:11 GMT
References: <1992Feb20.170044.24181@oracorp.com> <1992Feb24.164839.1584@aifh.ed.ac.uk>
Sender: news@aiai.ed.ac.uk
Organization: AIAI, University of Edinburgh, Scotland
Lines: 16

In article <1992Feb24.164839.1584@aifh.ed.ac.uk> bhw@aifh.ed.ac.uk (Barbara H. Webb) writes:
>In article <1992Feb20.170044.24181@oracorp.com> daryl@oracorp.com writes:
>>
>>What I mean by implementation is pretty simple: A implements B if
>>there are functions mapping states of A to states of B and inputs and
>>outputs of A to inputs and outputs of B such that the mappings
>>preserve the transition relations.

Are you sure these mappings are in the right direction?

>Surely this relationship of A and B is sufficient only for _simulation_.
>Implementation requires (at least) an _identity_ of inputs and outputs
>of the two systems, rather than a mere mapping between them.

If so, you can turn the simulation into an implementation by making
the mappings part of it.


