Re:IBM halting sales of Watson AI tool for drug discovery
by shshhdhs on Friday April 19, 2019 @12:24AM
(#19697087)
What was the solution here? To learn the Elliott 503 Mark II more deeply?
Re:IBM halting sales of Watson AI tool for drug discovery
by pjmorris on Friday April 19, 2019 @07:12AM
(#19698541)
Oversimplifying, but quoting from the speech, that particular challenge was overcome as follows: "Thus we muddled through by common sense and compromise to something approaching success."
He then discusses how the problems there led to his thinking on CSP, and, eventually, formal methods.
But, go read the speech, it's much more wonderful than any summary thereof: http://zoo.cs.yale.edu/classes/cs422/2010/bib/hoare81emperor...
This.
In support of that idea, here's C.A.R. Hoare, from 'The Emperor's Old Clothes', the 1980 Turing Award lecture:
'At last, there breezed into my office the most senior manager of all, a general manager of our parent company, Andrew St. Johnston. I was surprised that he had even heard of me. "You know what went wrong?" he shouted--he always shouted-- "You let your programmers do things which you yourself do not understand." I stared in astonishment. He was obviously out of touch with present day realities. How could one person ever understand the whole of a modem software product like the Elliott 503 Mark II software system? I realized later that he was absolutely right; he had diagnosed the true cause of the problem and he had planted the seed of its later solution.'