[Top] [All Lists]

Re: [ontolog-forum] Systems that learn each other's ontologies

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Tue, 24 Jul 2007 12:37:48 -0500
Message-id: <p0623092bc2cbe8e9ba5f@[]>
>In any software development project, testing and verification
>are always essential.
>AW> But a key question would be, how would you go about ensuring
>  > that the automated result is as accurate as the manual one?
>  > And how would you get people to trust the survival of their
>  > company to the automated result ?
>That's like asking whether you would trust that the output of
>a compiler is as accurate as hand coding.  In the 1950s, people
>didn't trust compilers, but after a while, they trusted them
>more than they trusted hand coders.    (01)

Quite. And I recall someone in Edinburgh in 1968 who announced that 
he would not trust any program unless he could read the source code 
and hand-simulate it to make sure it had no bugs in it. I wonder what 
chipset his OS is running on now.    (02)

Pat    (03)

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

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

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