>On Sat, Oct 06, 2007 at 07:49:44PM -0400, Obrst, Leo wrote:
>> What's the difference between CL and IKL? Can you characterize the
>> differences? ;)
>
>IKL is an extension of CL that has structured names for, and allows
>quantification over, propositions. (01)
Strictly speaking, its an extension of CLIF, the KIF-like dialect of
CL. Even more strictly speaking, its a modification of an extension
of CLIF, since it uses one syntactic form differently (the guarded
quantifier in CLIF is a numerical quantifier in IKL) but this is
really an upgrade to CLIF, and we will as quickly as possible modify
CLIF in the same way in a ISO corrigendum. (02)
Pat (03)
--
---------------------------------------------------------------------
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
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (04)
_________________________________________________________________
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 (05)
|