>On Nov 22, 2007, at 9:38 AM, Pat Hayes wrote:
>>> It think CL could be very useful as KR for NLP applications
>>
>> OK, that wasn't clear from your earlier emails, which seemed (?) to
>> be saying that CL *was* NLP.
>> But why say CL instead of FOL? CL *is* FOL, after all.
>
>Just for the record, since this comment of Pat's, meant to dispel any
>unclarity about the nature of CL as logic as opposed to NLP, might
>suggest that CL is nothing *but* a species of FOL: CL indeed
>encompasses FOL but, as Pat of course knows as well as anybody,
>because of the existence of CL dialects that include so-called
>"sequence markers" that (in a certain restricted sense) allow
>quantification over finite sequences of domain objects, CL also
>encompasses a class of logics that are equivalent in expressive power
>to weak infinitary logics, and these logics are provably more powerful
>than FOL. (It can easily be shown, e.g., that compactness fails for
>these logics.) (01)
Yes. I was trying to avoid getting into too much
technical detail. I should have said that the
compact sublanguage of CL (without sequence
markers) is FOL. Also for the record, though:
there is absolutely no reason to think that
sequence markers are going to be the silver
bullet which makes FOL into natural language. (02)
Pat (03)
>
>For details see the CL spec.
>
>-chris
>
>
>_________________________________________________________________
>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
> (04)
--
---------------------------------------------------------------------
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 (05)
_________________________________________________________________
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 (06)
|