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 | Topic | Readings |
|---|---|---|
| 1 | Course Logistics & Intro to AI | Chapter 1 |
| History & Philosophy of AI | Chapter 1 | |
| 2 | Intelligent Agents | Chapter 2 |
| Problem Solving Agents & Search | Section 3.1 | |
| 3 | Problem-Solving Agents & Search | Section 3.2 |
| Uninformed Search | Section 3.3 | |
| 4 | Uninformed Search | Section 3.4 |
| Uninformed Search Variants | Section 3.4 | |
| 5 | Informed Search | Section 3.5 |
| Informed Search | Section 3.6 | |
| 6 | Constraint Satisfaction Problems (CSPs) | Section 6.1 |
| Inference in CSPs | Section 6.2 – 6.4 | |
| 7 | Symbolic AI: Propositional Logic (PL) | Section 7.1-7.4 |
| Symbolic AI: Propositional Logic (PL) | Section 7.5 | |
| 8 | Exam 1 Review | |
| Exam 1 | ||
| 9 | Spring Break, No Classes | |
| 10 | Exam 1 Recap | |
| First-Order Logic (FOL) | Section 8.1-8.2 | |
| 11 | FOL: Knowledge bases | Section 8.1-8.3 |
| FOL: Ontologizing | Section 8.4 | |
| 12 | FOL: Automated Reasoning | Section 9.1-9.2 |
| FOL: Automated Reasoning | Section 9.3-9.4 | |
| 13 | Category Theory | Section 10.1-10.2 |
| Events, Time, Modality | Section 10.3-10.4 | |
| 14 | Intro to Machine Learning | Chapter 19 |
| Intro to Machine Learning | Chapter 19 | |
| 15 | Neural Networks | Section 21.1 |
| AI & Machine Ethics | Chapter 27 | |
| 16 | AI & Machine Ethics | Chapter 27 |
| Course Recap, Final Exam Prep | ||
| 17 | Final Exam | |