FYI, the features of mKR have been evaluated by me --
in various applications, over the last dozen years. (02)
My largest test of contexts for say, think, etc. was the
translation of a Reuters news story. (03)
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Saturday, September 13, 2008 8:07 AM
Subject: Re: [ontolog-forum] Thing and Class (06)
> As various people have noted, it's not sufficient to show that
> a proposed notation has a paraphrase in a natural language.
> It must also have formal semantics that determines truth
> conditions for any statement, and it must support logical
> operations that determine which expressions imply other
> In developing conceptual graphs, I had several guidelines that
> I imposed on myself and other people who were using and developing
> CG systems:
> 1. Every proposed feature must have a formally defined or at least
> definable mapping to one or more versions of logic, of which
> GOFOL (Good Old Fashions First Order Logic) has a place of honor.
> 2. Every proposed feature must have a paraphrase in English or
> other natural language that is relatively obvious (i.e., it does
> not require a lengthy or contorted multi-step translation).
> 3. There must be at least one example of a useful application for
> which this feature is simpler, clearer, or more efficient than
> the alternatives.
> 4. The feature must be sufficiently readable and memorable that
> people will remember how to read it and use it without looking
> it up in a manual or help facility whenever they want to use it.
> Since these are guidelines, there is some room for interpretation.
> Therefore, it's important to use and apply any new feature or
> combination of features on actual applications to see how they
> work in combination, to test their efficiency, and to evaluate
> their human factors.
> A lot of features can be eliminated rather quickly after just a
> few informal trials with pencil and paper. The ones that survive
> the initial tests should be evaluated by actual applications that
> people would really want to use.
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)