Newsgroups: comp.ai,comp.ai.philosophy
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!newsxfer.itd.umich.edu!gatech!usenet.ins.cwru.edu!news.csuohio.edu!knuth.cba.csuohio.edu!llunch
From: llunch@knuth.cba.csuohio.edu (Jason Baker)
Subject: Breakfast of Champions (was Re: Is Common Sense Explicit or Implicit?)
Message-ID: <1994Sep7.181019.19244@news.csuohio.edu>
Sender: news@news.csuohio.edu (USENET News System)
Organization: Dr Benway For Islam Inc
References: <1994Aug19.113304.22524@unix.brighton.ac.uk> <1994Aug22.042736.25458@news.media.mit.edu> <CvFMAI.3qG@festival.ed.ac.uk> <CvKC9v.Lr2@aisb.ed.ac.uk>
Date: Wed, 7 Sep 1994 18:10:19 GMT
Lines: 49
Xref: glinda.oz.cs.cmu.edu comp.ai:24138 comp.ai.philosophy:20286

In article <CvKC9v.Lr2@aisb.ed.ac.uk>,
Alasdair Turner <alasdt@aisb.ed.ac.uk> wrote:
>In article <CvFMAI.3qG@festival.ed.ac.uk>, cam@castle.ed.ac.uk (Chris Malcolm) writes:
>> In article <1994Aug22.042736.25458@news.media.mit.edu> minsky@media.mit.edu (Marvin Minsky) writes:
>> 
>> >What I'd like to see is an attempt to discuss
>> >the relations between **three or more** categories of knowledge types
>> >because I consider the explicit-vs.-not" to be evidently unproductive.
>> >A first step would be serious proposals about such triads.  Any
>> >offers?
>> 
>> EXPLICIT, IMPLICIT, and TACIT.
>> 
>> [...]
>> 
>> Explicit knowledge: you could (in principle) find the representation
>> of the knowledge in the creature, and it is used by the creature in
>> generating the observed knowledgeable behaviour, i.e., knowledge as in
>> Brian Smith's Knowledge Representation hypothesis.
>> 
>> Implicit knowledge: not explicitly represented, but capable of being
>> made explicit by the available reasoning machinery operating on the
>> explicit knowledge. It is a design choice (space/time trade) whether
>> deduced implicit knowledge is left explicit once deduced, or deduced
>> afresh whenever needed.
>> 
>> Tacit knowledge: designed into the structure of the creature
>> (algorithmically, physically, etc.), and so correctly governing its
>> behaviour, but not available as meaningful knowledge to the creature
>> (unless it conducts a scientific investigation of its own nature of
>> course). [...]
>
>Surely this still does not remove the `unproductive' Implicit vs
>Explicit?  What you have done is tacked a third `enviromentally
>determined knowledge' group onto a PSS format, leaving the old
>implicit / explicit distinction in place.  Effectively this is simply
>adding the constraints of the hardware of the machine to
>the equation.
>

	He is clearly a very good constraint adding machine.  I hope
you are a good writing up machine.

	The expression "Breakfast of Champions" is a registerd
trademark of General Mills, Inc., for use on a breakfast cereal
product.  The use of the identical expression as the title for this
post as well as throughout this post is not inteded to indicate an
association with or sponsorship by General Mills, nor is it intended
to disparage their fine products.
