At 1:43 AM -0400 5/31/08, John F. Sowa wrote:
>Pat,
>
>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)
Pat
--
---------------------------------------------------------------------
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)
|