Chris
mKE, the program which implements mKR, enhances
intelligence
by assisting a human in
creating/updating/searching knowledge
bases.
mKR is integrating syntax and semantics
without ambiguity.
John has happy; implies that "happy" is an
attribute.
I do walk done; implies that "walk" is
an action
"done"
is useful because "walk" may be followed
by many
optional prepositional phrases.
P.S.
Spanish, and several other non-English
languages,
use "has" for attributes instead of
"is".
"done" is used in many modern programming
languages.
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/
----- Original Message -----
Sent: Saturday, September 13, 2008 11:08
AM
Subject: Re: [ontolog-forum] Thing and
Class
On Sep 13, 2008, at 9:29 AM, Richard H. McCullough wrote:
John
Your remarks about modal logic remind me of
some features
of mKR which I tend to forget about, because
I don't use them
very often.
mKR vocabulary includes "can".
Compare
I do walk
done;
I can walk
done;
mKR contexts include what people say.
Compare
John has
happy;
Dick do say od {John has
happy;} done;
The latter statement creates a new context
say_Dick
which contains the embedded
statement.
I'm having a hard time understanding the point mKR. The "do" and
"done" constructs are delimiters that might be necessary for parsing, but you
claim that your mKR reconstructions are paraphrases of English and that using
them "enhances intelligence". Why do you think that casting
sentences in a natural language that we learned at our mother's knee into a
rigid canonical form (a rather awkward one at that -- "John has happy"??)
enhances intelligence? What additional clarity do you think is brought
to "I walk" by the far clunkier "I do walk done"? On the face of it, the
claim is bizarre.
-chris
_________________________________________________________________ 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
|