Computer Science CS E10
Knowledge Representation
Winter 1999

Course materials

Since this is a graduate seminar, there will not be lecture notes posted to the web because we aren't in lecture mode. However, the introduction to the course is useful reading if you missed it. Other materials may be posted here from time to time.

Homework assignments

• Due by 5pm, 1/7/99

More information about knowledge representation

• A survey of qualitative reasoning.   This is a draft manuscript of what became a chapter in the CRC Computer Science and Engineering handbook.  It has many more citations than were allowed in the treeware version.
• Our approach to qualitative spatial reasoning.
• CycCorp provides us with the CYC tools, as part of the DARPA High Performance Knowledge Base computing initiative.  The CYC project generously made their upper-level ontology available for research purposes, and the HPKB community has combined that with ontologies from other sources to produce the foundation for a shared knowledge base infrastructure.  Our group is integrating our representation work on qualitative physics into this infrastructure, as well as our analogical reasoning software (including SME and MAC/FAC).
• KIF (Knowledge Interchange Format) is one of the starting points for the representation language we are using in our knowledge base development effort.  CML (Compositional Modeling Language) is another.   The current draft of the reference manual is here, and a paper that appeared in QR96 is here.   While these are starting points, our conventions are evolving.  We will document the particular conventions we are using in a living document very soon.
• The Ontolingua server at Stanford KSL is an interesting web-based KR environment.

Last edited 1/7/99 by Ken Forbus.
Please send suggestions to forbus@ils.nwu.edu.