Readings

• For 10/5

  • Proofs and inference rules for first order logic
  • Primary readings
    • Russell and Norvig
      • 9.1-4 - Inference in First-Order Logic

• For 10/7

  • Model elimination proof procedure
  • Primary readings
    • Russell and Norvig
      • 10.4 - Theorem Provers

Previous slide

Back to first slide

View graphic version