[Top] [All Lists]

Re: [ontolog-forum] mKR programming language

To: "Pat Hayes" <phayes@xxxxxxx>, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Mon, 16 Mar 2009 15:13:09 -0700
Message-id: <D64E3492FCB94FB6A7FEAD384C2C31BB@rhmlaptop>
mKR does describe actions, and reasoning about actions.    (01)

But mKR is also a language for communication between
a human and his/her intelligent agent, mKE.  mKE performs
many actions associated with building, editing and searching
knowledge bases.    (02)

For example,
    do write od tabula rasa to TabulaRasa.ho done;
is my "command" to mKE.  It tells mKE to "write"
the hierarchy "tabula rasa" to the file "TabulaRasa.ho".
mKE carries out my command, as described by this
    ke do write od tabula rasa to TabulaRasa.ho done;
Each command is mapped to an action of mKE.    (03)

Likewise, variable assignments such as
    kbmode := cyc;
map to changes in attributes of mKE
    ke has kbmode = cyc;
In this case, mKE uses the OpenCyc knowledge base
for subsequent assertions and searches.    (04)

Dick    (05)

----- Original Message ----- 
From: "Pat Hayes" <phayes@xxxxxxx>
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>; "Richard H. 
McCullough" <rhm@xxxxxxxxxxxxx>
Sent: Monday, March 16, 2009 2:06 PM
Subject: Re: [ontolog-forum] mKR programming language    (06)

> On Mar 14, 2009, at 12:06 AM, Richard H. McCullough wrote:
>> Rhetorical question:
>>    why should a knowledge representation language
>>    resemble a programming language?
>> Answer:
>>    because you need to describe actions of entities
> Good question, wrong answer. It should not be like a programming  language 
> because much of what you want to represent has nothing at all  to do with 
> actions; and because even when it does, you want to  _describe_ the 
> actions, not implement or imitate them (running a  program to go to the 
> store should result in your being at the store);  and because you want to 
> be able to reason _about_ the actions, not  simply achieve them in a 
> simulation.
> Pat H
>> Compare:
>>    John Doe do walk to the grocery store done;
>>    ke do write od tabula rasa to TabulaRasa.ho done;
>> (In the second case, "ke" is usually omitted.)
>>    (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)

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