On 7/30/13 9:52 AM, John F Sowa wrote:
> The title of my talk in that planning session was "Relating Classical
> and Nonmonotonic Logic." As a result of the discussion with the other
> participants, I added six more slides to my talk, and I changed the
> title to emphasize the point I was trying to make:
>
> http://www.jfsowa.com/talks/sharing.pdf
> Knowledge Sharing Among Heterogeneous Agents
>
> My new title emphasizes the goal: Use a classical logic, such as
> Common Logic, as the basis for message passing among agents that
> use an open-ended variety of different logics -- or no explicit
> logic of any kind. That was the original goal of the proposal
> for the Semantic Web by Tim Berners-Lee in February 2000. (01)
I've created a collection of resources [1] that includes: an HTML doc
[2], a jpeg Image [3], and an OmniGaffle source file [4] with regards to
what John outlined above. The image is a tweaked rendition of TimBL's
original illustration. Of course, this can be tweaked by others too, I
am just trying to get the ball rolling :-) (02)
Links: (03)
[1] http://bit.ly/143w5tu -- Resource Collection
[2] http://bit.ly/11xPHF9 -- HTML Doc
[3] http://bit.ly/15hor0y -- Illustration
[4] http://bit.ly/19Atjji -- OmniGaffle Source Document/File . (04)
-- (05)
Regards, (06)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca handle: @kidehen
Google+ Profile: https://plus.google.com/112399767740508618350/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen (07)
smime.p7s
Description: S/MIME Cryptographic Signature
_________________________________________________________________
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)
|