ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontology vs KR

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Thu, 02 Oct 2014 09:32:08 -0400
Message-id: <542D53D8.3050707@xxxxxxxxxxx>
Ali, Steven, Ed,    (01)

That claim is a narrow view, which requires much more qualification:    (02)

Brian Cantwell Smith
> Any mechanically embodied intelligent process will be comprised of
> structural ingredients that a) we as external observers naturally take
> to represent a propositional account of the knowledge that the overall
> process exhibits, and b) independent of such external semantic
> attribution, play a formal but causal and essential role in engendering
> the behavior that manifests that knowledge.    (03)

I agree with Steven's criticisms, and I also agree with Ed's point:    (04)

EJB
> Ontologies are indeed representations of “a propositional account of
> knowledge”, but not necessarily knowledge exhibited by any particular process.    (05)

Brian CS stated his claim in his PhD dissertation of 1982.  But in the
same book in which it was reprinted, Levesque and Brachman made further
qualifications: 
http://courses.cs.washington.edu/courses/cse574/01wi/readings/levesque-brachman-fundamental.pdf    (06)

HL & RB
> There is no single best language, it is argued, only more or less
> interesting positions on the tradeoff.    (07)

As soon as you admit that there are multiple representations and
tradeoffs, that implies that no single representation of any kind
(propositional or whatever) can be fundamental.    (08)

But if so, what would be fundamental?  Many researchers in cognitive
science, ranging from Aristotle to modern neuroscience, would say
that imagery derived directly from perception is more fundamental.
(And 'imagery' includes versions from all senses, not just vision.)    (09)

Short summary:  Any propositional representation in any language,
natural or artificial, is an approximation that is based on some
"interesting position on the tradeoff".  But there is no limit to
the number and kinds of tradeoffs for different purposes.  Peirce's
"twin gates" of perception and action determine the symbol grounding
for any and all representations.    (010)

John    (011)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (012)

<Prev in Thread] Current Thread [Next in Thread>