Objectives:

• Be familiar with basic KR formalisms, and their implications for inference: (a) First-order logic, (b) Rules, (c) Frames, (d) Semantic nets
• Understand the tractability vs. expressivity tradeoff
• Be able to critically read and review the primary literature about KR, especially in biomedical informatics
• Be knowledgable about the history of KR in BHI: what has been tried before, and how some systems failed and succeeded