1. Intro 1: What is Artificial Intelligence?
2. Intro 2: Representational Dimensions
3. Intro 3: Applications of AI
4. Search 1: Representation & Search Framework
5. Search 2: BFS and DFS
6. Search 3: Search with Costs & Heuristic Search
7. Search 4: Heuristic Search: A*
8. Search 5: A* Optimality, Cycle Checking
9. Search 6: Iterative Deepening (IDS) and IDA*
10. Search 7: Multiple Path Pruning, IDS and IDA*
11. CSP 1: Branch & Bound, CSP: Intro
12. CSP 2: Solving CSP Using Search
13. CSP 3: Arc Consistency
14. CSP 4: GAC Algorithm and Domain Splitting for CSPs
15. CSP 5: Local Search
16. CSP 6: Stochastic Local Search
17. CSP 7: Stochastic Local Search Algorithms
18. Planning 1: Representation
19. Planning 2: Forward Planning and CSP Planning
20. Planning 3: CSP Planning Wrap Up
21. Logic 1: Intro & Propositional Definite Clause Logic
22. Logic 2: Proof Procedures, Soundness and Completeness
23. Logic 3: Bottom-up and Top-down Proof Procedures
24. Logic 4: Top-Down Procedure, Datalog and Big Picture
25. Uncertainty 1: Probability Theory: Intro
26. Uncertainty 2: Conditional Probability, Bayes Rule, Chain Rule
27. Uncertainty 3: Independence
28. Uncertainty 4: Bayesian Networks Intro
29. Uncertainty 5: Independence and Inference
30. Uncertainty 6: Variable Elimination for Bayes Nets
31. Decision Theory 1: Uncertainty Wrap-Up, Single Decisions
32. Decision Theory 2: Single and Sequential Decisions
33. Decision Theory 3: Optimal Policies for Sequential Decisions
34. Perspectives and Final Review

This course provides an introduction to the field of artificial intelligence. The major topics covered will include reasoning and representation, search, constraint satisfaction problems, planning, logic, reasoning under uncertainty, and planning under uncertainty.

Visit the official website for more lecture notes, full assignments with solutions, and more information on the course and Prof. Mackworth's research: http://www.cs.ubc.ca/~mack/CS322/

This course comes accompanied with a textbook written by Alan Mackworth himself, and David Poole from UBC: http://artint.info/