[Top] [All Lists]

Re: [ontolog-forum] mKR programming language

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Tue, 17 Mar 2009 02:00:41 -0700
Message-id: <7921096A97DB43A88C18EA7E2F11BFCD@rhm8200>
On Mar 16, 2009, at 9:46 PM, Christopher Menzel wrote:
> On Mar 16, 2009, at 5:13 PM, Richard H. McCullough wrote:
>> mKR does describe actions, and reasoning about actions.
> 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 (
> Chris Menzel
I have already said that I have not presented a
formal semantic theory for mKR.
When you continue to harp on that subject
in every email, the only effect is to suppress
communication between us, and other members
of this forum.
I think you totally underestimate the context
which members of this forum share, as fellow
human beings.  Consider this mKR proposition.
at view = Ontolog Forum {
        I do say to you od {
                at time = 10 am yesterday {
                        I do walk from my house to Raley's done;
        } done;
I think every member of this forum will understand
the meaning of this proposition.  They will know
the meaning of "I", "you", "walk", "my house", etc.
They may not know exactly where "my house"
is located, but if that is important to them, they
can ask me to make my context more explicit.
You seem to imply that mKR is of no value without
a formal semantic theory.  I totally disagree.  Further,
I assert that there are many meaningful exchanges
taking place in this forum, even though we have
no formal semantics for English.
Dick McCullough

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    (01)

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