Interesting only insofar as this article had nothing new, yet MIT found it timely to publish. Hasn't bayesian inference been around for a while? I haven't foll

Interesting only insofar as this article had nothing new, yet MIT found it timely to publish. Hasn't bayesian inference been around for a while? I haven't followed Cyc in quite a while, but I think they tried incorporating some probibilistic reasoning. I wonder if they ever gave a shot at incorporating exception assertions? Using the analogy of birds, penguins are birds, but the bird assertion of flight does not apply.