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)