Re: [ontolog-forum] mKR programming language

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

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 (http://tinyurl.com/cnjo9j).
>
> Chris Menzel
>

 

Chris

 

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

http://mkrmke.org

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