Lectures:

Check vision for the lecture slides, handouts, lab exercises, tutorials, and solutions.

Links to additional material will be added here as the module progresses.
  1. Introduction: to AI, and intelligent agents. Intelligent Elevator Control. Case study.
  1. Intelligent agents and search.
  1. Blind vursus informed search algorithms. A* search. Trading agents competition case study.
  1. Constraints satisfaction. Forward checking and backtracking in constraints satisfaction. Graph colouring.
  1. Games and search.
  1. Logic. Propositional logic.