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
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; http://mKRmKE.org/
|