[Top] [All Lists]

Re: [ontolog-forum] Data Models v. Ontologies (again)

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 30 May 2008 23:14:05 -0700
Message-id: <p06230964c4669cdc2365@[]>
At 1:43 AM -0400 5/31/08, John F. Sowa wrote:
>I doubt that:
>>  Or, an alternative explanation, the logician actually knew
>>  a good deal more about language and FOL than Doug does, and the
>>  piece of English was in fact (as most pieces of English are)
>>  extremely tricky to render accurately into logic, perhaps containing
>>  definite descriptions and modalities, or using such constructions
>>  as 'was considered the reason why', but Doug considered an accurate
>>  translation to be too fussy and pedantic for Cyc's robust methodology.
>Doug is not stupid.  He wouldn't have used any sentences that he
>didn't feel confident he could translate to CycL.    (01)

Using his translation rules, sure. But that was my point.    (02)

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    (03)

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)

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