Re: [ontolog-forum] Ontology vs KR

[Steven Ericsson-Zenith <steven@xxxxxxx>]

I often note the confusion here. In fact, much that you discuss here is epistemology and not "ontology" at all. In other words, it concerns the theory of knowledge involved. Whereas, ontology concerns the nature of existence at a profound level. I suspect the confusion comes from attempting to reason about how to speak of the world, but this will present a problem to any true ontologist since, in a profound sense, for example, much that is discussed in local "ontologies" does not "exist" in any sense. "Names and naming," for example.

On Wed, Oct 1, 2014 at 3:39 PM, Ali H <asaegyn@xxxxxxxxx> wrote:

Hello all,

I know this is a topic that has been tread over many years and many times, but I recently came across this statement from Brian C. Smith in [1]:

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.

Why is this definition never proffered when discussing "what is an ontology"?

It seems to me that those in the field of ontology focus on (a). 

Do most (formal) ontologists consider Ontology to be (a), and not (b)? If so, why not?

Lastly, I understand that in pantheon of AI sciences, Ontology is often suggested as a sub-discipline of KR - yet why is there such little cross over from KR to Ontology - or am I simply misinformed (c.f. FOIS vs KR or CommonSenseReasoning as part of AAAI etc) ?

[1] Smith, Brian C. (1985). "Prologue to Reflections and Semantics in a Procedural Language". In Ronald Brachman and Hector J. Levesque. Readings in Knowledge Representation. Morgan Kaufmann. pp. 31–40. 

--

.

(•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,.,

_________________________________________________________________
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
 

_________________________________________________________________
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    (01)