John, (01)
I believe we have copies of all the IKRIS reports that were formerly on the
MITRE NRRC site. I had queried Brant Cheikes and Chris Welty about these when
you raised the issue last week. Something to consider is whether you want to
host all of these or whether another site, such as the Common Logic site hosted
by Chris Menzel, would be best. Or some alternative. It's about 12.2 MB total. (02)
Thanks,
Leo (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
Sent: Wednesday, July 11, 2012 11:28 AM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] Truth (04)
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: (05)
http://ontolog.cim3.net/forum/ontolog-forum/2007-08/msg00456.html (06)
However, there is a set of slides by Pat Hayes that talks about
translating John McCarthy's context logic to IKL: (07)
http://www.ihmc.us/users/phayes/OW/OntologyWorkshopSlides.pdf (08)
Question to Leo: Do you still have a copy of the following report: (09)
> 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. (010)
Could you post it somewhere? (011)
John (012)
_________________________________________________________________
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 (013)
_________________________________________________________________
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 (014)
|