[Top] [All Lists]

Re: [ontolog-forum] Ontology vs KR

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Thu, 2 Oct 2014 11:39:41 +0100
Message-id: <00c501cfde2d$2d1020c0$87306240$@gmail.com>

Dear Ali,

I suggest that a) is ontology, and a) plus b) is robotics.




Matthew West                           

Information  Junction

Mobile: +44 750 3385279

Skype: dr.matthew.west




This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.

Registered office: 8 Ennismore Close, Letchworth Garden City, Hertfordshire, SG6 2SU.




From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Ali H
Sent: 01 October 2014 23:39
To: [ontolog-forum]
Subject: [ontolog-forum] Ontology vs KR


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

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