, a prolific author and pioneer in artificial intelligence, focuses on applying large amounts of structured knowledge to information management tasks.
in the 1980s put a few "general rules of inference" into Eurisko and ran it for a while: Out came the "discovery" of prime numbers.
The symposium also attracted invited talks from Carl Hewitt, Craig Knoblock, Doug Lenat, John McCarthy, Mike Pazzani, Milind Tambe, and Manuela Veloso.
The issue begins with an article by Doug Lenat, who employs David Letterman's top10 list-style format to discuss the 12 things that have most gone wrong with AI.
Doug Lenat talked about CYC and explained how important subsets of CYC are now available to outsiders.
The symposium also attracted invited talks from seven senior figures in the field: Carl Hewitt, Craig Knoblock, Doug Lenat, John McCarthy, Mike Pazzani, Milind Tambe, and Manuela Veloso.
Doug Lenat suggested a solution to this, which was to embed the people within not a Blocks World, but instead somewhere like a typical house or office, as in the popular computer game The Sims.
Doug Lenat gave a wonderful presentation of the Cyc system, which is presently the project furthest along at developing a useful and reusable such resource for the AI community, so that new AI programs don't have to start with almost nothing.