, a prolific author and pioneer in artificial intelligence, focuses on applying large amounts of structured knowledge to information management tasks.
John Conway in the 1970s put together a few "cellular-automaton" rules and a nifty visual display and ran his software for a few days: Out came "self-replicating patterns." Doug Lenat
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.
Perhaps there is an important observation reflected in the machine-learning work of Doug Lenat
's CYC or Allen Newell and his students' work on SOAR.
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.
The three invited talks were by Richard Fikes, Peter Clark, and Doug Lenat. Fikes gave a background on earlier funded and ongoing efforts for developing large knowledge bases and discussed lessons that were learned from those efforts.
Besides Doug Lenat's invited talk on CYC, there was one more presentation on the syntax and content of CYC based on a paper by Matuszek, Cabral, Witbrock, and DeOliveira.
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.