ontolog-forum
[Top] [All Lists]

[ontolog-forum] is mKR for man OR machine?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: KR-language <kr-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Mon, 24 Mar 2014 13:59:51 -0700
Message-id: <COL129-W51FD7231ED0E074B16A976AA7A0@xxxxxxx>
That is a question raised by Pat Hayes c2009 when I was active on Ontolog Forum.
The way that he posed the question forced me to admit mKR was designed for man,
and Pat concluded that mKR was NOT appropriate for machine.
I disagreed, but could not counter Pat's logic.
In 2014 I am ready to argue that mKR is appropriate for man AND machine.

To quote from "mKR style" (see http://mkrmke.org/CKS.html)
   Name can remain undefined if meaning is obvious to reader
That certainly sounds like a language designed for man NOT machine.

mKE is an intelligent, self-aware program that knows the definition of Name
(if it has been defined).  Man can ask mKE

      Name is ?;

If Name is undefined, man has several options:

      ignore the problem     
      define Name
      tell mKE to determine the definition from the known characteristics of Name

That still sounds like mKE/mKR is designed only for man.

However, I can write an mKR script which can be automatically executed
by mKE to perform the "same" appropriate actions as man.
The combination of mKE/mKR can ensure that all Names are defined.
That makes mKR suitable for man AND machine.

Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial

_________________________________________________________________
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    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] is mKR for man OR machine?, Richard H. McCullough <=