This course is taught using the textbook Artificial Intellgience: A Modern Approach (4th edition) by S. Russell and P. Norvig, with exercises drawn from its accompanying AIMA website at Berkeley. Below are my lecture notes primarily based on the textbook and the AIMA website, with supplementary materials from other resources.
- AI agents
- Search
- Games
- Constraint satisfaction
- Knowledge and reasoning
- Logical agents and syntax of propositional logic (PL) (pptx, pdf)
- PL semantics and inference rules (pptx, pdf)
- Resolution in PL (pptx, pdf)
- Propositional model checking (pptx, pdf)
- First order logic (FOL): syntax and semantics (pptx, pdf)
- Representation and inference in FOL (pptx, pdf)
- Forward and backward chaining (pptx, pdf)
- Resolution in FOL (pptx, pdf)
- Reasoning about uncertainties
- Machine learning