[Top] [All Lists]

Re: [ontolog-forum] formal systems, common logic and lbase

To: Christopher Menzel <cmenzel@xxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 23 Nov 2007 11:46:01 -0600
Message-id: <p06230918c36cbf2f9dfd@[]>
>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.
>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)

<Prev in Thread] Current Thread [Next in Thread>