Michael Witbrock at the Information Sciences Institute, USC School of Engineering, on April 1, 2005.
Abstract: For the past twenty years, human beings have been painstakingly adding formally represented knowledge to Cyc. This knowledge base has been usefully applied to several real-world and research problems, and is intended to approach the eventual goal of a fully functioning Artificial Intelligence. One of the original premises of the Cyc project was that one could only acquire knowledge from a base of knowledge; you can't learn anything unless you know something. We're now in a position to apply that premise. In this talk, I'll describe the Cyc system, and how we are applying its current knowledge base, NL capability, and inference power to the problem of automating knowledge acquisition.