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
sentence
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)
|