Covers foundations and history of AI. Iowa course listing here.
The overall goal of this course is to introduce students to a number of topics and techniques in Artificial Intelligence (AI). This course provides an introduction to the core ideas and techniques of artificial intelligence. Students explore AI and agents, fundamental problem-solving and search strategies (including breadth-first search, depth-first search, uniform cost search, A* search, local search, and adversarial search), constraint satisfaction, logic-based reasoning, the foundations of machine learning and demonstrates how these methods can be applied to real-world problems.
By the end of this course students should:
These are all useful practical and theoretical skills and are sought out by top universities and companies working in AI.
We are using Russel and Norvig's canonical AI textbook, Artificial Intelligence: A Modern Approach, 4th US ed.
| Week | Date | Topic | Readings |
|---|---|---|---|
| 1 | Tuesday, Jan. 20th | Course Logistics & Intro to AI | Chapter 1 |
| Thursday, Jan. 22nd | History & Philosophy of AI | Chapter 1 | |
| 2 | Tuesday, Jan. 27th | Intelligent Agents | Chapter 2 |
| Thursday, Jan. 29th | Problem Solving Agents & Search | Section 3.1 | |
| 3 | Tuesday, Feb. 3rd | Problem-Solving Agents & Search | Section 3.2 |
| Thursday, Feb. 5th | Uninformed Search | Section 3.3 | |
| 4 | Tuesday, Feb. 10th | Uninformed Search | Section 3.4 |
| Thursday, Feb. 12th | Uninformed Search Variants | Section 3.4 | |
| 5 | Tuesday, Feb. 17th | Informed Search | Section 3.5 |
| Thursday, Feb. 19th | Informed Search | Section 3.6 | |
| 6 | Tuesday, Feb. 24th | Constraint Satisfaction Problems (CSPs) | Section 6.1 |
| Thursday, Feb. 26th | Inference in CSPs | Section 6.2 – 6.4 | |
| 7 | Tuesday, March 3rd | Symbolic AI: Propositional Logic (PL) | Section 7.1-7.4 |
| Thursday, March 5th | Symbolic AI: Propositional Logic (PL) | Section 7.5 | |
| 8 | Tuesday, March 10th | Exam 1 Review | |
| Thursday, March 12th | Exam 1 | ||
| 9 | Spring Break, No Classes | ||
| 10 | Tuesday, March 24th | Exam 1 Recap | |
| Thursday, March 27th | First-Order Logic (FOL) | Section 8.1-8.2 | |
| 11 | Tuesday, March 31st | FOL: Knowledge bases | Section 8.1-8.3 |
| Thursday, April 2nd | FOL: Ontologizing | Section 8.4 | |
| 12 | Tuesday, April 7th | FOL: Automated Reasoning | Section 9.1-9.2 |
| Thursday, April 9th | FOL: Automated Reasoning | Section 9.3-9.4 | |
| 13 | Tuesday, April 14th | Category Theory | Section 10.1-10.2 |
| Thursday, April 16th | Events, Time, Modality | Section 10.3-10.4 | |
| 14 | Tuesday, April 21st | Intro to Machine Learning | Chapter 19 |
| Thursday, April 23rd | Intro to Machine Learning | Chapter 19 | |
| 15 | Tuesday, April 28th | Neural Networks | Section 21.1 |
| Thursday, April 30th | AI & Machine Ethics | Chapter 27 | |
| 16 | Tuesday, May 5th | AI & Machine Ethics | Chapter 27 |
| Thursday, May 7th | Course Recap, Final Exam Prep | ||
| 17 | Week of May 11th | Final Exam | |