On Mar 14, 2009, at 12:06 AM, Richard H. McCullough wrote: (01)
> Rhetorical question:
> why should a knowledge representation language
> resemble a programming language?
> Answer:
> because you need to describe actions of entities (02)
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. (03)
Pat H (04)
>
> 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.)
>
>
>
> _________________________________________________________________
> 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
>
>
> (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
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 (07)
|