Resources

• We will be using a brand-new textbook for the course, Knowledge Representation and Reasoning, by Ron Brachman and Hector Levesque.  The publisher kindly granted us permission to work from the advance copies.  Copies can be obtained at Quartet Copies on Clark Street.
• To download OpenCyc, please go to www.opencyc.org.  You should be able to use either the Windows or the Linux version equally well for what we are doing.
• To download Shaken, please go to the download area on Northwestern's Course Management System, Blackboard, and download it from there.   The version of Shaken we are using in this course is not the publicly available one, but the DARPA-specific version that has some contents we will use in the course, and we may add a few things to it as the quarter goes on.  If you are in the class and do not have access to the Blackboard system, please be sure to come to the 11/5/03 session.  Instructions for installing SHAKEN can be found here.
• A wealth of tutorial information on OpenCyc is available at their web site, www.opencyc.org. 
• Some papers that provide background information on Shaken can be found at http://www.ai.sri.com/project/SHAKEN.
• The software similar to that we will be using for the class can be downloaded from the Project Halo web site.  The downloads also include documentation for the systems.  You may also find the Ontoprise system interesting. 

Last edited 11/5/03, by KDF.  Back to CS395-KR home page.