Knowledge Representation and Inference

• Intoduction
• Structured Objects
  • Semantic Nets
  • Frames
  • Exam-like questions
• Predicate Logic
  • Review of Propositional Logic
  • Predicate Logic: Syntax
  • Predicate Logic: Semantics
  • Proving Things in Predicate Logic
  • Representing Things in Predicate Logic
  • Logic and Frames
  • Exam-like questions
• Rule-Based Systems
  • Forward Chaining Systems
  • Backward Chaining Systems
    • Forwards vs Backwards Reasoning
  • Uncertainty in Rules
  • Exam-like questions
• Advantages and Disadvantages of KR Languages
  • Exam-like questions