I'm running MKE on a 2 MB TAP MCF file right now. I discovered that Windows XP Pro task manager makes MKE sit idle for minutes at a time, and then runs it for...
Hi Richard, Just a thought - I've not tried XP but if it's anything like Win2k then the task priority control is pretty limited. Here there's an option to give...
where "here" means Win2K, or Linux, or ? I did use Windows Task Manager to raise the priority of MKE, but that didn't seem to affect the basic cycle. Some more...
Ralph Thanks for the info. on MemoKit. In the case of WinXP, all of the MemoKit features are already available in the Windows Task Manager. Changing priorities...
I have been experiencing a severe slow-down problem as MKE processes large knowledge files. Most of my tests have been on WinXP, and I had convinced myself ...
I may try that later. But last time I discussed that with Clint Jeffery, he told me that the only one I need to set is MSTKSIZE. And these days I always run...
I modified MKE so that it does not generate the very large sets (72,000 & 3,300 members). The results (lines/15 min.) are shown below. I conclude that 1. WinXP...
Changing environment variables makes a fantastic difference on WinXP!!! Using these values # KEHOME/bin/kelarge.env # Mar/24/2003 # set up ke environment for...
The final results are now available in http://rhm.cdepot.net/db/tap/structure.ho It turns out that the Class "hierarchy" is actually a lattice -- there are ...
The Cyc KB runs entirely in memory and we have similar issues with Windows vs. Linux. In my opinion, Windows/NT/2K/XP for Workstation (and I presume that you ...
FYI To process my 81,000 line input file (which never finished after hours of processing) I broke it into four pieces & merged the 4 outputs. Total processing...
I think you would find this essay very interesting. He talks about CCDs & DCs at the axiomatic level. This is his perspective on "existence" vs. "identity". ...
There's no "link" because it costs $10. His web site is http://pages.prodigy.net/rpisaturo/Epistemology.htm Dick McCullough knowledge := man do identify od...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: "Jim Hendler" <hendler@...> To: "Richard H....
To me, the primary motivation for introducing owl:Entity is to get rid of the confusion between Entity, Class and Property. Entities are the (primary) things...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: "Stephen Reed" <reed@...> To: "Richard H....
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: "Stephen Reed" <reed@...> To: "Richard H....
My http://rhm.cdepot.net/doc/DL03paper.html was rejected. Here are some excerpts from the two reviewers. no "firm meaning for the examples" of MKR MKR...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: Richard H. McCullough To: dialoguer@... ...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: dialoguer@... To: Richard H. McCullough ...
The intent of this email is to get a start on this difficult subject. This subject is relevant to the possible use of MKR as a "user-friendly" interface to...
... Frames and slots fit a logic of binary predicates (OWL properties) without the explicit expressiveness of first & higher order predicate calculus. CycL,...
Just two quick follow-up questions for now. 1. CycL modal logic -- I don't recall any discussion in 1989 book. Could you say a few words about this? MKR does...
Here is a bit of information on these currently proprietary topics. ... Cyc's modal inference process consists of the assignment of logical inference features...
MKE version 5.9 interfaces directly with the Stanford TAP knowledge base. Notes: 1. TAP KB is selected by set kbmode=tap; 2. Questions access online Stanford...
1. MKE 6.0 has a much improved interface to the TAP KB. Using MKE, and comparing the results to the online Perl browser, I have identified some new GetData...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
