Alright, talk is cheap, show me the code.
Is Cyc essentially a 15 million line long Prolog program? Based on the article’s hand wavy description that’s the best I can put together.
Is Cyc essentially a 15 million line long Prolog program? Based on the article’s hand wavy description that’s the best I can put together.
And from that wikipedia article: "The dream of building systems that discover scientific hypotheses was pushed to the background with the second AI winter and the subsequent resurgence of subsymbolic methods such as neural networks. Subsymbolic methods emphasize prediction over explanation, and yield models which works well but are difficult or impossible to explain which has earned them the name black box AI. A black-box model cannot be considered a scientific hypothesis, and this development has even led some researchers to suggest that the traditional aim of science - to uncover hypotheses and theories about the structure of reality - is obsolete.[7][8] Other researchers disagree and argue that subsymbolic methods are useful in many cases, just not for generating scientific theories."
which sounds very intriguing to me :-)
There was a source-available version called OpenCyc with a small subset of the knowledge base that is now retired and no longer officially available, but it's still easy to find on the net.