Chris (01)
I would appreciate some pointers on how to do that.
The things that I have read say that a formal semantics
maps the "meaningless" symbols of formal logic to the
"meaningful" symbols of English. (02)
But mKR propositions are paraphrases of English.
mKR is composed of English words and phrases,
not "meaningless" symbols of formal logic. (03)
I haven't seen any formal semantics for English. (04)
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/ (05)
----- Original Message -----
From: "Christopher Menzel" <cmenzel@xxxxxxxx>
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Friday, September 12, 2008 11:00 AM
Subject: Re: [ontolog-forum] mKR (was Thing and Class) (06)
> On Sep 10, 2008, at 5:05 PM, Richard H. McCullough wrote:
>> Antoinette
>> What can I do to help you "get it"?
>
> A rigorous semantics would be a good start, i.e., a mathematically
> precise account of how an alleged knowledge representation language
> actually *represents*. As far as I can see from the web site, mKR is
> just uninterpreted syntax with an informal, quasi-philosophical
> semantic gloss. In this day and age, a rigorous semantics is a sine
> qua non for a KR language. (Compare OWL, CyCL, Conceptual Graphs,
> Common Logic, etc.)
>
> Chris Menzel
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|