Re: [ontolog-forum] Truth

[John F Sowa <sowa@xxxxxxxxxxx>]

After sending my recent note about representing contexts in IKL,
I did a bit more Googling.  I found a note by Leo to Ontolog Forum
that the IKRIS documents were approved for public release.  But
they were posted in a directory at MITRE that no longer exists.
Following is Leo's note:    (01)

    http://ontolog.cim3.net/forum/ontolog-forum/2007-08/msg00456.html    (02)

However, there is a set of slides by Pat Hayes that talks about
translating John McCarthy's context logic to IKL:    (03)

    http://www.ihmc.us/users/phayes/OW/OntologyWorkshopSlides.pdf    (04)

Question to Leo:  Do you still have a copy of the following report:    (05)

> ICL—the IKRIS Context Logic.  ICL is a logic formalism for
> representing and reasoning about context-dependent knowledge,
> including alternative hypotheses, points of view, world states
> and scenarios.    (06)

Could you post it somewhere?    (07)

John    (08)


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