[Top] [All Lists]

[ontolog-forum] semantics of the mKR language

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Wed, 25 Mar 2009 11:45:50 -0700
Message-id: <27BBB570828348B6A2DDB06CBB712A0D@rhm8200>
By intention, this email will be very short.
It does not discuss any details of the semantics.
The mKR ["my Knowledge Representation"] language
is a general purpose knowledge representation language.
It deals with knowledge representations, in the form of
propositions, contexts, knowledge bases.
The physical form of a proposition may be a simple
text string, a row in a table, a record in a database.
The mKR language is the interface between a human
and the mKE ["my Knowledge Explorer"] program,
which communicates with various knowledge bases
as directed by the human.  The most basic functions
of mKE are to add/delete/search for propositions
and contexts in the knowledge bases.  Additional
functions include changing contexts, error checking,
report generation, recording and executing user-defined
methods [aka procedures].
The meaning of an mKR proposition is -- what mKE
does to the knowledge bases, and gives back to the
human user.  That being said, here's a definition of
the semantics of mKR.
What's at the other end of this URL?  The mKE program,
with lots of associated documentation.  You will find
grammars, dictionaries, tutorials, references,
mKE internal knowledge bases,
interfaces to external knowledge bases,
language translators.
In addition to this operational meaning, one may consider
what an mKR proposition means to the human in relation
to the real world.  The mKR language is designed to
support the theories of Ayn Rand and Keith Devlin.  See
http://mkrmke.org for detailed references.
Dick McCullough
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;

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>