Foundations of AI and ML (FOAM)

Masters Course, Department of Computer Science, University of York, 2023

I gave a guest 1 hour lecture on Logics in week 3 of this Master’s level course, and assisted in the 1 hour seminar and 2 hour lab. The week introduced ideas around:

  • knowledge-based agents
  • logic and entailment
  • propositional logic

The module description is available here and archived here.