regarding the mKR language, JS wrote (01)
> To illustrate the principles, the above mKR sentence could be
> translated to an IKL statement such as the following:
>
> (exists (Space s, Time t, View v)
> (and (Location v s t) (Describes v (that (mKR2IKL sentence)))))
>
> I agree that the mKR notation is more compact and readable. (02)
I understand what you're saying. I will have to learn the IKL language.
I have no knowledge of IKL at present, so I don't even know if
"Location", "Describes", "that" are a good translation. (03)
To stimulate some thought in the meantime, here's an mKR example.
(Remember that mKR is, in spirit, a controlled English language.) (04)
at view = weekly routine;
at space = my house, time = 10 am Wednesday {
I do go to the store with purpose = buy food done;
}; (05)
Note that the meaning of "my house", "the store", etc. will be defined
as part of the propositions in "weekly routine". (06)
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/ (07)
_________________________________________________________________
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 (08)
|