At 10:57 AM -0400 6/27/08, Toby Considine wrote:
>
>
>As a new-comer in the semantic space, what is CL, where should I
>start to read on it.
>
> (01)
Sorry. Common Logic (CL) is a recent ISO standard (02)
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39175 (03)
which defines a version of first-order logic specially designed for
interchange on a network. It allows for various 'dialects'. You can
have one copy of the standard for free downloaded from (04)
http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip (05)
Theres a bunch of history and related stuff at http://cl.tamu.edu/
which you might (or might not) find useful. (06)
IKL is an extension of one CL dialect, CLIF, extended by the addition
of proposition names of the form (that <sentence>), eg as in (07)
(Believes John (that (GoodLooking Sue))) (08)
and also by a convention where any character string can be treated as
a function of no arguments whose value is whatever the string denotes
when its used as a name. Sounds weird, but it lets the logic reason
about its own naming conventions, which is very handy. (09)
For a readable intro to IKL (and therefore, by the way, to CLIF) , try (010)
http://www.ihmc.us/users/phayes/ikl/guide/guide.html (011)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
http://www.ihmc.us/users/phayes phayesAT-SIGNihmc.us
http://www.flickr.com/pathayes/collections (012)
_________________________________________________________________
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 (013)
|