On Mar 16, 2009, at 5:13 PM, Richard H. McCullough wrote:
> mKR does describe actions, and reasoning about actions. (01)
Actually, no, it does not. That is what you *intend* the relevant
expressions of mKR to mean, but mKR has no semantics (the intentions
locked in your own head don't count), so there is nothing that makes
it objectively the case for all users that mKR's expressions mean what
you intend. Compare the semantics for OWL. There is a document that
everyone can read to find out precisely the semantics of each of OWL's
constructs. Similarly, google around for "semantics of programming
languages" for the same point vis-a-vis programming languages. See,
e.g., the book by Winskel (http://tinyurl.com/cnjo9j). (02)
Chris Menzel (03)
_________________________________________________________________
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 (04)
|