Re: [ontolog-forum] Truth

[Chris Menzel <chris.menzel@xxxxxxxxx>]

On Wed, Jul 11, 2012 at 10:57 AM, Obrst, Leo J. <lobrst@xxxxxxxxx> wrote:

John,

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.

Good idea, Leo, the CL site would be an obvious place to put them. John, can you send me all the documents and links you think should go there? The site needs some sprucing up anyway...

-chris

 

-----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

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:

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

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

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

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

> 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.

Could you post it somewhere?

John


_________________________________________________________________
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

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