ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Oooh, FOL is too hard to learn.

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Ed Barkmeyer <edbark@xxxxxxxx>
Date: Mon, 18 Oct 2010 17:27:28 -0400
Message-id: <4CBCBBC0.7020304@xxxxxxxx>

Chris Menzel wrote:    (01)

> Perhaps first-order logic isn't for the "average developer or data 
> modeler" the way that a lot of useful higher mathematics isn't for the 
> "average engineer"?
>       (02)

(The vampire craze seems to have encouraged a general sharpening of stakes.)    (03)

My wife's long-standing characterization of many respected professions is:    (04)

Most professionals are like auto mechanics:  20% of them really know 
their trade and can solve complex problems and typically assume that 
their colleagues can.  60% of them can do the routine work of the trade 
well, and most of them realize, perhaps after a few failures, when the 
problem is beyond their skill, and respect the professionals who can 
solve it.  The remaining 20% are marginal or incompetent in their trade, 
and assume that no one else is any better at it.    (05)

First-order logic is therefore only for the top 20% of data modelers, 
not the average... :-)    (06)

-Ed
> -chris
>
>
>  
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>  
>       (07)

-- 
Edward J. Barkmeyer                        Email: edbark@xxxxxxxx
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Stop 8263                Tel: +1 301-975-3528
Gaithersburg, MD 20899-8263                FAX: +1 301-975-4694    (08)

"The opinions expressed above do not reflect consensus of NIST, 
 and have not been reviewed by any Government authority."    (09)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (010)

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