CS222 Syllabus: 1/10 - 1/24

• KR overview and Course Syllabus (1/10)

• First Order Predicate Logic (1/17)

  • Knowledge Interchange Format (KIF)
  • Model theoretic semantics

• Proofs and Proof Procedures (1/22-24)

  • Proofs and deduction rules for first order logic
  • Model elimination proof procedure

Previous slide

Next slide

Back to first slide

View graphic version