from the brittney-cleary-slated-to-be-first-against-the-wall dept.
Scotch Game writes: "The LA Times is running a story about the soon-to-be-even-more-famous Cyc knowledge base that has been created by Cycorp under the leadership of Douglas B. Lenat (bio here). It's a pop piece with little technical information, but it does have some enticing bits such as the suggestion that the Cyc system is developing a sense of itself. If you're not familiar with Cycorp and its goals then take a look. Of course, you should realize that this is, in fact, the system that will one day send Arnold Schwarzenegger back in time in order to kill a young pretty lass by the name of Sarah Connor. But for now the system is pre-sentient and pretty cool ..." See also OpenCyc.
Thus mathematics may be defined as the subject in which we never know
what we are talking about, nor whether what we are saying is true.
-- Bertrand Russell