On Mar 19, 2009, at 4:54 PM, Richard H. McCullough wrote: (01)
>
> ----- Original Message -----
> From: "Ed Barkmeyer" <edbark@xxxxxxxx>
> Sent: Thursday, March 19, 2009 2:23 PM
> Subject: Re: [ontolog-forum] Requirements of computer language
> semantics
>
>
> JFS
>>> Yes, but the basic primitives of core CL are very simple
>>> and very general. Defining multiple logics by the mapping
>>> to one standard logic with a solid model theory automatically
>>> insures that all of them are mutually compatible.
>>
> EB
>> This is certainly a laudable goal, but
>> (1) it wasn't the topic I thought we were discussing, and
>> (2) it only works for FOL languages. For logic programming
>> languages,
>> you just don't have all the necessary semantic concepts in CL.
>> (And I
>> don't know what kind of language mKR really is.)
>>
> RHM
> After reading "Logic for Interoperability" in the "IKL Guide", it
> appears
> that IKL is a subset of today's mKR language, because I don't enforce
> the restrictions described in that section. (02)
With that criterion, mKR is a subset of my language KR01, which has no
grammar and no "logical" semantics, and allows any Unicode character
string to be a representation of knowledge. It means whatever some
human reader thinks it means (no matter what their native human
language is.) (03)
Pat (04)
> ***** to be continued as I read further *****
>
> Dick
>
>
> _________________________________________________________________
> 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)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
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 (07)
|