Chris (01)
I hereby resolve to stop talking and return to my task
of translating mKR to IKL.
As John has suggested, that seems to be the shortest
path to achieving some credibility in this Forum. (02)
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/ (03)
----- Original Message -----
From: "Christopher Menzel" <cmenzel@xxxxxxxx>
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Wednesday, March 18, 2009 7:57 PM
Subject: Re: [ontolog-forum] Requirements of computer language semantics (04)
> On Mar 18, 2009, at 7:51 PM, Richard H. McCullough wrote:
>> I have not yet been convinced that any such "extra" interpretation
>> is necessary. I still have the impression that formal model theory
>> is an academic exercise which has little to do with meaning in the
>> real world.
>
> Come on, Dick. Some strong objections have been raised to the effect
> that mKR as it stands is missing a critical foundational component. I
> hope I'm wrong, but it *looks* as if, in the absence of any legitimate
> technical response to these objections, you are trying to divert
> attention away from them with the cheap and hoary smear of academic
> researchers as self-absorbed elitists who are out of touch with the
> issues that real knowledge engineers in the "real world" care about.
> That sort of tactic didn't work for Sarah Palin and it won't work
> here. ;-)
>
> I'd suggest you take the time to *study* model theory before
> announcing your impressions of it. mKR (not to mention your own
> credibility) can only benefit from the effort.
>
> Chris Menzel
>
>
> _________________________________________________________________
> 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)
_________________________________________________________________
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 (06)
|